Dagstuhl-Seminar 9321
Specification and Semantics
( 24. May – 28. May, 1993 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/9321
Organisatoren
- F. von Henke
- H.-D. Ehrig
- J. Meseguer
- M. Wirsing
Kontakt
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.
- F. von Henke
- H.-D. Ehrig
- J. Meseguer
- M. Wirsing