Philippe Du Bois

According to our database1, Philippe Du Bois authored at least 10 papers between 1992 and 1998.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
Supporting the Analyst when Reasoning on Requirements Specifications for Real-Time and Distributed Systems.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

1997
On the Use of a Formal Requirements Engineering Language: The Generalized Railroad Crossing Problem.
Requir. Eng., 1997

On the Use of a Formal R. E. Language - The Generalized Railroad Crossing Problem.
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

1995
From Organization Models to System Requirements: A 'Cooperating Agents' Approach.
Proceedings of the Third International Conference on Cooperative Information Systems (CoopIS-95), 1995

1994
ALBERT: An Agent-Oriented Language for Building and Eliciting Requirements for Real-Time Systems.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

Animating Formal Requirements Specifications of Cooperative Information Systems.
Proceedings of the Second International Conference on Cooperative Information Systems, 1994

1993
Towards a Formal Agent-Oriented Requirements Definition of Manufacturing Systems.
Proceedings of the Information Infrastructure Systems for Manufacturing, 1993

O-O Requirements Analysis: an Agent Perspective.
Proceedings of the ECOOP'93, 1993

Elicitating and Formalising Requirements for C.I.M. Information Systems
Proceedings of the Advanced Information Systems Engineering, 1993

1992
Elaborating, Structuring and Expressing Formal Requirements of Composite Systems.
Proceedings of the Advanced Information Systems Engineering, 1992


  Loading...