Travelled to:1 × France
1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:E.Dubois M.Petit J.Zeippen A.Rifaut
Talks about:requir (3) system (2) formal (2) structur (1) railroad (1) perspect (1) formalis (1) composit (1) problem (1) languag (1)
Person: Philippe Du Bois
DBLP: Bois:Philippe_Du
Contributed to:
1997
1993
19931992Wrote 4 papers:
- RE-1997-BoisDZ #on the #problem #using
- On the Use of a Formal R. E. Language — The Generalized Railroad Crossing Problem (PDB, ED, JMZ), p. 128–?.
- CAiSE-1993-DuboisBP #elicitation #formal method #information management #requirements
- Elicitating and Formalising Requirements for C.I.M. Information Systems (ED, PDB, MP), pp. 252–274.
- ECOOP-1993-DuboisBP #analysis #perspective #requirements
- O-O Requirements Analysis: an Agent Perspective (ED, PDB, MP), pp. 458–481.
- CAiSE-1992-DuboisBR #requirements
- Elaborating, Structuring and Expressing Formal Requirements of Composite Systems (ED, PDB, AR), pp. 327–347.