https://www.dagstuhl.de/9710
March 3 – 7 , 1997, Dagstuhl Seminar 9710
Logic for System Engineering
Organizer
S. Jähnichen (TU-Berlin), J. Loeckx (Saarbrücken), D. Smith (Kestrel - Palo Alto), M. Wirsing (Uni-München)
For support, please contact
Documents
Summary
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.