TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 9321

Specification and Semantics

( May 24 – May 28, 1993 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/9321

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



Summary

In this seminar recent scientific results and new research directions in the area of formal foundations of software development were discussed by members of the working group FG 0.1.7 "Specification and Semantics" of the German Society for Computer Science (GI) and other well-known scientists. The 30 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, theorem provers
  • methods of formal semantics
    including denotational, operational and axiomatic semantics, algebraic and categorical semantics, transition systems, term and graph rewriting
  • approaches to formal specification including abstract data types, model-oriented specification, algebraic specification, graphical specifications, formal specification languages
  • formal development and verification methods
    including formal requirement analysis and specification, structuring and modularization techniques, verification and validation of modules and configurations, formal aspects of reusability
  • applications of specification and semantics
    including description of programming languages, methods for software development, parallel and distributed systems, modeling and specification languages, data and knowledge based systems

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

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