Philippe Du Bois
Loading Google Thumbnails...
| 1998 |
|---|
| 10 | Supporting the Analyst when Reasoning on Requirements Specifications for Real-Time and Distributed Systems. Jean-Marc Zeippen, Eric Dubois, Philippe Du Bois. ISORC 1998, 215. Web SearchBibTeXDownload |
| 1997 |
|---|
| 9 | On the Use of a Formal R. E. Language - The Generalized Railroad Crossing Problem. Philippe Du Bois, Eric Dubois, Jean-Marc Zeippen. RE 1997, 128. Web SearchBibTeXDownload |
| 8 | On the Use of a Formal Requirements Engineering Language: The Generalized Railroad Crossing Problem. Philippe Du Bois, Eric Dubois, J. M. Zeipen. Requir. Eng. (2): 171-183 (1997). Web SearchBibTeXDownload |
| 1995 |
|---|
| 7 | From Organization Models to System Requirements: A 'Cooperating Agents' Approach. Eric S. K. Yu, Philippe Du Bois, Eric Dubois, John Mylopoulos. CoopIS 1995, 194-204. Web SearchBibTeX |
| 1994 |
|---|
| 6 | Animating Formal Requirements Specifications of Cooperative Information Systems. Eric Dubois, Philippe Du Bois, Frédéric DuBru. CoopIS 1994, 101-112. Web SearchBibTeX |
| 5 | ALBERT: An Agent-Oriented Language for Building and Eliciting Requirements for Real-Time Systems. Eric Dubois, Philippe Du Bois, Michaël Petit. HICSS (4) 1994, 713-722. Web SearchBibTeX |
| 1993 |
|---|
| 4 | Elicitating and Formalising Requirements for C.I.M. Information Systems. Eric Dubois, Philippe Du Bois, Michaël Petit. CAiSE 1993, 252-274. Web SearchBibTeXDownload |
| 3 | Towards a Formal Agent-Oriented Requirements Definition of Manufacturing Systems. Marc Derroitte, Eric Dubois, Philippe Du Bois, Michaël Petit, Jean-Pol Michel. DIISM 1993, 141-158. Web SearchBibTeX |
| 2 | O-O Requirements Analysis: an Agent Perspective. Eric Dubois, Philippe Du Bois, Michaël Petit. ECOOP 1993, 458-481. Web SearchBibTeXDownload |
| 1992 |
|---|
| 1 | Elaborating, Structuring and Expressing Formal Requirements of Composite Systems. Eric Dubois, Philippe Du Bois, André Rifaut. CAiSE 1992, 327-347. Web SearchBibTeXDownload |
from DBLP and Google Scholar
