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 inter-relationships 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)
In this paper, we report on the use of theAlbert II requirements specification language through the handling of the Generalized Railroad Crossing case study. This formal language is based on an ontology of concepts used for capturing requirements inherent in real-time, distributed systems. Because of itsnaturalness, the language supports a direct mapping of(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)