TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 9710

Logic for System Engineering

( 03. Mar – 07. Mar, 1997 )

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/9710

Organisatoren
  • D. Smith (Kestrel - Palo Alto)
  • J. Loeckx (Saarbrücken)
  • M. Wirsing (Uni-München)
  • S. Jähnichen (TU-Berlin)



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.

Copyright

Teilnehmer
  • D. Smith (Kestrel - Palo Alto)
  • J. Loeckx (Saarbrücken)
  • M. Wirsing (Uni-München)
  • S. Jähnichen (TU-Berlin)