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 9628

Specification and Semantics

( 08. Jul – 12. Jul, 1996 )

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

Organisatoren
  • F. von Henke
  • H.-D. Ehrig
  • J. Meseguer
  • M. Wirsing



Motivation

Specification and semantics are two branches of theoretical computer science on which formalisms for analyzing, constructing and verifying computer software have been successfully built. Over the last few years such formal methods have been increasingly accepted and applied in practice which in turn has stimulated new efforts in research.

In this second edition of the seminar on Specification and Semantics recent scientific results and new research directions in the area of foundations, methods and applications of mathematics-based software development were discussed by more than 40 scientists. The 36 talks focussed in particular on the following topics:

  • mathematical foundations of specification and semantics including models and logic calculi, concepts of category and type theory, algebraic concepts and theorem provers;
  • methods of formal semantics including denotational, operational and axiomatic semantics, algebraic and categorical semantics, transition systems and term and graph rewriting;
  • approaches to formal specification including abstract data types, model-oriented specification, algebraic specification, graphical specification and formal specification languages;
  • formal development and verification methods including formal requirement analysis and specification, structuring and modularisation techniques, verification and validation of modules and configurations and formal aspects of reusability;
  • applications of specification and semantics including description of programming languages, methods for software development, parallel and distributed systems, safety-critical systems, modeling and specification languages, data and knowledge based systems.

On behalf of all the participants the organizers would like to thank the staff of Schloß Dagstuhl for providing an excellent environment to the conference.

Copyright

Teilnehmer
  • F. von Henke
  • H.-D. Ehrig
  • J. Meseguer
  • M. Wirsing