Institute Name: Centre de Recherche en Informatique de nancy(CRIN-CNRS & INRIA Lorraine)Description: The "Centre de Recherche en Informatique de Nancy" is a laboratory of Computer Science associated with the CNRS and common to the three universities of Nancy. It has 84 members of permanent academic staff, about 30 permanent researchers and 114 doctoral students. It works in cooperation with INRIA-Lorraine via 7 common teams. Most of its researchers teach in different universities and engineering schools. Training through research is a central task in the laboratory. This is accomplished within the doctoral school IAE+M, which brings together computer science, automation, electronics and mathematics. The CRIN has extensive links with the industry and is involved in International Programs (ESPRIT, COMETT, DELTA, HCM networks, Basic Research Actions).
The laboratory is organised into fifteen research teams. Half of them work on theories and techniques for software production, developing methods, languages and tools leading to the design and development of secure and efficient software and systems. The other teams work on human-machine communication and artificial intelligence, defining new models which can improve the reasonning capabilities of computers and their interaction with human beings.
Two teams will contribute to this project, namely the Specification Development and the Software Engineering teams.
The Specification Development team focuses on methods for specification development, tools and software engineering environments. It has a particular interest in the manipulation of incomplete specifications (product), the description of development plans (the process) and the historical background of the successive decisions and their justifications. The team was established in the ICARUS project (ESPRIT 2 P2537). It has 5 members of permanent academic staff, 4 associate researchers and 7 doctoral students. It operates as a join team with INRIA-Lorraine.
The Software Engineering team focuses on methods, tools and environments for the development of complex software. It has a particular interest in software process modelling, analysis and enactment, and in cooperative work support. The team was established in the ALF project (ESPRIT No 1520) and is curently the coordinator of the PROMOTER group (Esprit BRA Working Group). It is also involved in standardization projects (PCIS OTAN project). It has 6 members of permanent academic staff and 8 doctoral students.
Researchers associated with the project:
Prof. J.-C. Derniame Prof. C. Godart Dr. J.-P. Jacquot Dr. N. Levy Prof. J. Lonchamp Prof. J. Souquieres
Brief CVs of Key Researchers:
Name: Prof. Jeanine Souquieres
Nationality: French
Academic Qualifications & Experience: Dr Jeanine Souquieres is currently a professor at the University of Nancy 2. She is the head of the Department of Mathematics and Computer Sciences of this university and co-responsible of the Specification Development team. Her research interests include formal methods in software engineering (specifically the expression and formalization of the development of specifications and programs), reusability, requirements elicitation, software engineering environments and product validation and verification. She has been involved in the definition, proposal and management of the Esprit II project ICARUS, an important EEC industrial project (1989-1994). The general objective of the ICARUS project was to study formal methods for building requirements specifications.
She is currently responsible for a project with the France Telecommunications concerning the transition from informal to formal specifications as applied to communication protocols.
Name: Prof. Claude Godart
Nationality: French
Academic Qualifications & Experience: Dr Claude Godart is currently a professor at Uni Address:CRIN-CNRS & INRIA-Lorraine PO Box 239 Nancy, 54506, VANDOEUVRE-LES-NANCY, FRANCE
Telephone number: + 33. 83 59 20 12
Telefax number: + 33 83 41 30 79
EMail: Jeanine.Souquieres@loria.fr
List of Members