Computer Science Department - University of Namur
Prof. Eric Dubois
Institut d'Informatique Voice: +32 81 72.49.80
University of Namur Fax: +32 81 72.49.67
Rue Grandgagnage, 21 Email: firstname.lastname@example.org
B-5000 Namur (BELGIUM) URL: http://www.info.fundp.ac.be/~edu/
Eric Dubois received the M.S. degree in computer science from the
University of Namur, Belgium, in 1981 and the degree of 'Docteur-Ingenieur
en Informatique' from the Institut National Polytechnique de Lorraine, Nancy,
France, in 1984.
From 1981 to 1984, he was with the 'Centre de Recherche en Informatique de
Nancy' and from 1984 to 1990, with the Philips Research Laboratory in Brussels.
He is currently Associate Professor of Software Engineering at the University of Namur
where he is teaching the following courses: Software Engineering principles
, Case tools and
Software Engineering techniques for developing
real-time, concurrent and
At the research level, since 1984, he has worked on (i) Requirements Engineering including
development of formal requirements languages based on logical frameworks, studies of
development methods for composite systems and investigation on
supporting environments and on (ii) Design Engineering including the use of
algebraic languages and the investigation of Object-oriented methods. Current researches
are related to
Cooperative Information Systems and to the development
of the ALBERT approach to
the Requirements Engineering of real-time distributed systems.
He was a
participant to the ESPRIT I project METEOR, the technical
leader of the ESPRIT II project ICARUS and the project leader of the ESPRIT IV
project 2RARE. At the moment, he is the project leader of the CAT project and the site coordinator for the
Esprit IV CREWS project. He
is involved in the following networks of research: ASPIRE, Cooperative IS and
He has been member of several conference Programme Commitees (CAiSE, IWSSD, DIISM,
CoopIS, etc) and is the co-organizer of the REFSQ workshop series. He is member of the
editorial board of the Requirements Engineering Journal and of 'Technique et Science
Informatiques'. He is author/co-author of more than 50 publications.
E. Dubois, J-P. Finance, A. Van Lamsweerde, "Towards a Deductive Approach
to Information System Specification and Design" in Proceedings International
Symposium of Current Issues of Requirements Engineering Environments,
Ed. Y. Ohno, North-Holland, 1982, p. 23-31.
E. Dubois, J. Hagelstein, E. Lahou, A. Rifaut, F. Williams, "A Knowledge
Representation Language for Requirements Engineering" in Special Issue
on Knowledge Representation, Proceedings of the IEEE, vol. 74, no. 10,
October 1986, pp. 1431-1444.
E. Dubois, A. Van Lamsweerde, "Making Specification Processes Explicit" in
Proceedings Fourth International Workshop on Software Specification and
Design, Monterey (CA), April 3-4, 1987, pp. 169-177.
E. Dubois, "A Logic of Action for Supporting Goal-oriented Elaborations of
Requirements" in Proceedings Fifth International Workshop on Software
Specification and Design, May 19-20, Pittsburgh, PA, USA, ACM SIGSOFT
Engineering Notes, vol 14, 3, May 1989.
E. Dubois, "Logical Support for Reasoning about the Specification and the
Elaboration of Requirements" in The Role of Artificial Intelligence in
Databases and Information Systems, WG2.6/WG8.1 Working Conference,
Guangzhou (July 4-8, 1988), North-Holland, 1990.
E. Dubois, "A Formal Language for the Requirements Engineering of Composite
Systems" in Proceedings AAAI Spring Symposium Series: Design of
Composite Systems, Stanford University, March 26-28 1991, pp. 11-29.
E. Dubois, J. Hagelstein and A. Rifaut, "The Requirements Engineering of
Computer Systems" in From Natural Language Processing to Logic for
Expert Systems, edited by A. Thayse, John Wiley & Sons Ltd, 1991,
E. Dubois, Ph. Du Bois and A. Rifaut, "Elaborating, Structuring and
Expressing Formal Requirements of Composite Systems" in Proc.
Fourth Conference on Advanced Information Systems Engineering,
Lecture Notes in Computer Science 593, Springer Verlag, pp. 327-347,
E. Dubois, "Use of Deontic Logic in the Requirements Engineering of
Composite Systems" in Deontic Logic in Computer Science: Normative
System Specification, edited by J.-J. Ch. Meyer and R.J. Wieringa,
John Wiley & Sons Ltd, 1993.
E. Dubois, Ph. Du Bois and M. Petit, "Object-oriented Requirements
Analysis: an Agent Perspective" in Proc. European Conference
on Object-Oriented Programming 93, Lecture Notes in Computer Science
Springer Verlag, 1993.
M. Deroitte, E. Dubois, Ph. Du Bois, M. Petit and J.P. Michel,
"Towards a Formal Agent-Oriented Requirements Definition of Manufacturing
Systems" in Proceedings of JSPE-IFIP WG 5.3 Workshop on The Design of
Information Infrastructure Systems for Manufacturing, November 8-10,
Tokyo (Japan), 1993, pp. 357-376.
E. Dubois, Ph. Du Bois and F. Dubru, "Animating Formal Requirements
Specifications of Cooperative Information Systems" in Proc.
2nd Intl. Conf. on Cooperative Information Systems - CoopIS-94,
Toronto (Canada), May 1994.
Eric Yu, Philippe Du Bois, Eric Dubois, John Mylopoulos,
"From Organization Models to System Requirements - A "Cooperating Agents" in
Proc. of the Third International Conference on Cooperative Information Systems -
CoopIS'95, Vienna (Austria), May 9-12, 1995. Revised version in
Cooperative Information Systems: Trends & Directions, Mike P. Papazoglou and
Gunter Schlageter (eds), Academic-Press, 1997.
E. Dubois and S. WU, `A Framework for Dealing with and Specifying Security Requirements
in Information Systems,’ in Proc. of the 12nd Intl. Security Conference (IFIP SEC’96)
, Samos, Greece, 1996.
P. Du Bois, E. Dubois and J.M. Zeippen, `On the Use of a Formal Requirements Engineering
Language: the Generalized Railroad Crossing Problem,’ in Proc. 3rd Intl. Symposium on
Requirements Engineering, January 1997. Revised version to appear in
Requirements Engineering Journal, 1998.
R. Wieringa and E. Dubois, ‘Integrating Semi-formal and Formal Requirements’
in Information System Journal, 1998 (to appear).
- Click here to return
to the Computer Science Dept. home page.
- Click here to return
to the University of Namur home page.
For any problem about the Computer Science Department WWW service, please contact: email@example.com
Eric Dubois - December, 1997