Philippe Du Bois

Learn More
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as cooperating agents offers a way of understanding their interrelationships and how these relationships would or should be altered as new systems are introduced. In this paper, we(More)
Requirements Engineering is now widely recognised as a key issue in the design and implementation of information systems. Recent research trends plead for the use of formal (i.e. mathematical/logical) languages at this stage of analysis in order to cope with the classical difficulties arisen from the interactions with customers. In this paper, we introduce(More)
It is now widely recognised that methods are needed for covering the whole lifecycle of Computer Integrated Manufacturing (CIM) applications. In this paper, we deal with the requirements engineering phase of this lifecycle. A formal language is introduced for capturing real-time requirements expressed on CIM applications. The resulting specification is(More)