Composition du laboratoire - A. Strohmeier, professeur
- D. Buchs, adjoint scientifique
- S. Barbey, assistant-doctorant
- D. Beringer, assistante-doctorante (75%)
- G. Eckert, assistant-doctorant
- N. Guelfi, assistant
- J. Hulaas, doctorant
- M. Kempe, assistant-doctorant (jusqu'au 30 septembre 1996)
- P. Racloz, chercheur
- S. Rybin, chercheur (du 24 septembre 1995 au 31 mai 1996)
- T. Wolf, assistant-doctorant
1.3 Politique de recherche 1.32 General description of research The Software Engineering Laboratory is doing research in software engineering with emphasis on development methods and supporting tools. Our work focuses on object-oriented approaches covering the complete range of development activities: analysis, formal specifications, design, programming and testing. The Laboratory has a large body of experience with the Fusion method, algebraic specifications, Petri nets, and the Ada programming language, including the implementation of distributed systems. The methods are validated on a multimedia application and software for robot manufacturing cells. The following developments are ongoing: a tool supporting the development of formal specifications including a CO-OPN language syntax checker, a tool for deriving incrementally distributed programs from their specifications and a test-case generator, as well as run-time support for Ada for dynamic client-server and fault-tolerant distributed systems. 1.33 Valorisation de la recherche | |
|