List of Members
Institute Name: Université Catholique de Louvain(UCL), Departement d'Ingenierie InformatiqueDescription: The "departement d'ingenierie informatique" has 11 academic staff and about 25 research associates. It offers a number of courses at MSc and PhD levels. The Department has extensive links with industry, which have been strengthened recently through a major tech transfer program funded by the CEC Objective 1 program.
The main focus of the department is on models, languages, methods and tools for engineering high-quality software systems. In particular, it has gained a solid reputation in (i) formal methods for specifying and designing software products and their underlying processes, and (ii) generic development environments. Its Software Engineering group has been active in requirements engineering over a considerable period. The group has a strong interest in adapting AI technology for requirements acquisition, representation and reuse. It has participated in a number of major european, national and international research projects in this area. Research projects with a significant requirements engineering content held by members of the group include: KAOS(Knowledge Acquisition in autOmated Specification) funded by the Belgian Ministery of Scientific Affairs; ICARUS (Incremental Construction And Reuse of reqUirements Specifications ) an ESPRIT II project funded by the European Commission), OASIS(Object-oriented Assistance for Software lIfecycle Support)funded by the Belgian Ministery of Scientific Affairs, and MEDICIS(Methodology for the Development of Computer System Specifications ), funded by the European Commission. Other projects related to the broader area of formal methods for software development include the Esprit TOOLUSE, REPLAY, ALF and CABERNET projects (all funded by the European Commission).
Researchers associated with the project:
Prof. A. van Lamsweerde R. Darimont Ph. Massonet Ph. Jamart Tran Van Hung A. Pirotte
Brief CVs of Key Researchers:
Name: Prof. A. van Lamsweerde
Nationality: Dutch
Academic Qualifications & Experience: Prof. Axel van Lamsweerde has been teaching Software Engineering and Artificial Intelligence at the universities of Namur, Brussels and Louvain-la-Neuve. Prior to his academic career he worked for ten years at the Philips Research Laboratory in Brussels. He is head of the Software Engineering group in the "Departement d'Ingenierie Informatique" at UCL. His current research interests include automated requirements acquisition, formal reasoning about non-functional requirements, process modelling, environment architectures, and machine learning. He was the technical director of the ESPRIT ICARUS project from 1988 to 1990 (modelling and formalisation of requirements specification products and processes), and of various national projects which led to the development of the ALMA generic lifecycle support system, and the KAOS goal-directed requirements engineering methodology. Prof. van Lamsweerde has been the program chairman of several major Software Engineering Conferences, including ICSE-16 (the 16th International Conference on Software Engineering), ESEC'91 (the 3rd European Software Engineering Conference) and IWSSD-7 (the 7th International Workshop on Software Specification and Design). Recently, he has been appointed as Editor-in-Chief of the ACM Transactions on Software Engineering and Methodology (TOSEM).
Selected Publications:
van Lamsweerde, A., Delcourt, B., Delor, E., Schayes, M.C. and R. Champagne.(1988): Generic Lifecycle Support in the ALMA Environment. IEEE Transactions on Software Engineering, Vol. 14, No. 6, pp. 720-741.
A. van Lamsweerde.(1992): Active Software Objects in a Knowledge-Based Lifecycle Support Environment. Chap. 3 of "Advanced Object-Oriented Software Engineering", D.Mandrioli & B.Meyer (Eds.), Prentice Hall, pp. 82-114.
Dardenne, A., van Lamsweerde, A. and S. Fickas.(1993): Goal-Directed Requirements Acquisition. Science of Computer Programming, Vol. 20, North Holland, pp. 3-50.
Jamart, Ph. and A. van Lamsweerde.(1994): A Reflective Approach to Process Model Customization, Enactment and Evolution. Proceedings ICSP3 - Third International Conference on the Software Process (Reston, Va.), IEEE Computer Society Press Nr. 94TH8001
A. van Lamsweerde, R. Darimont and Ph. Massonet.(1995): Goal-Directed Elaboration of Requirements for a Meting Scheduler: Problems and Lessons Learnt. Proceedings RE'95 - Second International Conference on Requirements Engineering (York, UK), IEEE Computer Society Press
Contact Details:
Principal Investigator: Prof. Axel van Lamsweerde
Address:Departement d'Ingenierie Informatique, Universite' Catholique de Louvain, 2 Place Sainte Barbe, Louvain-la-Neuve, B-1348, Region Wallonne, BELGIUM
Telephone number: +32-10-472529
Telefax number: +32 10 450345
EMail: + avl@info.ucl.ac.be
List of Members