BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bois:Philippe_Du

Contributed to:

RE 19971997
CAiSE 19931993
ECOOP 19931993
CAiSE 19921992

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.