Dagstuhl-Seminar 9710
Logic for System Engineering
( 03. Mar – 07. Mar, 1997 )
Permalink
Organisatoren
- D. Smith (Kestrel - Palo Alto)
- J. Loeckx (Saarbrücken)
- M. Wirsing (Uni-München)
- S. Jähnichen (TU-Berlin)
Kontakt
The Seminar “Logic for Systems Engineering”, held at Schloß Dagstuhl during March 3–7, 1997, was a successor of the Dagstuhl Seminars “Logical Theory for Program Construction” in 1991 and 19941 The slightly modified title is intended to stress that program development methods must be integrated in a general software development method, if they are to be applicable in practice.
The importance of formal methods for the development of correct software is now generally recognized. A few “realistic” case studies have meanwhile been carried out. Moreover, the software industry is increasingly interested in these methodologies.
Main subjects treated during the Seminar were:
- formal specification methods
- formal object-oriented specification techniques
- integration of formal and “pragmatic” software development techniques
- practical applications of formal specification methods
- reuseability
The Seminar focussed on problems, the solution on which is a prerequisite for industrial applications.
On behalf of all participants the organizers would like to thank the staff of Schloß Dagstuhl for providing an excellent environment to the conference.
- D. Smith (Kestrel - Palo Alto)
- J. Loeckx (Saarbrücken)
- M. Wirsing (Uni-München)
- S. Jähnichen (TU-Berlin)