Computer Science Department - University of Namur

Eric Dubois

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: edu@info.fundp.ac.be 

B-5000 Namur (BELGIUM)          URL:   http://www.info.fundp.ac.be/~edu/

Curriculum Vitae

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 Process Modelling, Software Engineering techniques for developing real-time, concurrent and distributed systems and Requirements Engineering.

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

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.

Selected 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, 535 pages.
• 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, 1992.
• 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.