( en | de | ru )

 

Disambiguation of "Bois, Philippe Du"

Author of the publication

copydeleteadd this publication to your clipboard
Animating Formal Requirements Specifications of Cooperative Information Systems.

, , and . CoopIS, page 101-112. World Scientific, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Harri Du Bois

Oya Du Bois

Philipp Du Bois

Inke Du Bois

Michael Du Bois

 

Other publications of authors with the same name

Elicitating and Formalising Requirements for C.I.M. Information Systems, , and . CAiSE, volume 685 of Lecture Notes in Computer Science, page 252-274. Springer, (1993)O-O Requirements Analysis: an Agent Perspective., , and . ECOOP, volume 707 of Lecture Notes in Computer Science, page 458-481. Springer, (1993)On the Use of a Formal Requirements Engineering Language: The Generalized Railroad Crossing Problem., , and . Requir. Eng., 2 (4): 171-183 (1997)Elaborating, Structuring and Expressing Formal Requirements of Composite Systems., , and . CAiSE, volume 593 of Lecture Notes in Computer Science, page 327-347. Springer, (1992)ALBERT: An Agent-Oriented Language for Building and Eliciting Requirements for Real-Time Systems., , and . HICSS (4), page 713-722. IEEE Computer Society, (1994)From Organization Models to System Requirements: A 'Cooperating Agents' Approach., , , and . CoopIS, page 194-204. (1995)Animating Formal Requirements Specifications of Cooperative Information Systems., , and . CoopIS, page 101-112. World Scientific, (1994)Towards a Formal Agent-Oriented Requirements Definition of Manufacturing Systems., , , , and . DIISM, volume B-14 of IFIP Transactions, page 141-158. North-Holland, (1993)Supporting the Analyst when Reasoning on Requirements Specifications for Real-Time and Distributed Systems., , and . ISORC, page 215-. IEEE Computer Society, (1998)On the Use of a Formal R. E. Language - The Generalized Railroad Crossing Problem., , and . RE, page 128-. IEEE Computer Society, (1997)