Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
37 S.
- Sprache
-
Englisch
- Anmerkungen
-
Literaturangaben
- Erschienen in
-
Dagstuhl-Seminar-Report ; 218
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes
- (wann)
-
1998
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:15 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Ehrig, Hartmut
- Internationales Begegnungs- und Forschungszentrum für Informatik
- Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes
Entstanden
- 1998
Ähnliche Objekte (12)
A conceptual and formal framework for the integration of data type and process modeling techniques
Algebraic specification of modules and configuration families
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
From algebraic module specifications to component concepts and integrated modeling techniques
Specification techniques for concurrent and distributed systems
Specification of modular systems
Development, specification and semantics of strictly modular systems : (seminar notes) ; presented at the Seminar on State of the Art and Perspectives of Software Technology in Europe, USA and Japan, ICC Berlin, September 1983
Specification and semantics : 08.07. - 12.07.96
Integration of software specification techniques for applications in engineering : priority program softspez of the German Research Foundation (DFG) ; final report
A conceptual and formal framework for the integration of data type and process modeling techniques
Algebraic specification of modules and configuration families
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
From algebraic module specifications to component concepts and integrated modeling techniques
Specification techniques for concurrent and distributed systems
Specification of modular systems
Development, specification and semantics of strictly modular systems : (seminar notes) ; presented at the Seminar on State of the Art and Perspectives of Software Technology in Europe, USA and Japan, ICC Berlin, September 1983
Specification and semantics : 08.07. - 12.07.96
Integration of software specification techniques for applications in engineering : priority program softspez of the German Research Foundation (DFG) ; final report
A conceptual and formal framework for the integration of data type and process modeling techniques
Algebraic specification of modules and configuration families
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
From algebraic module specifications to component concepts and integrated modeling techniques
Specification techniques for concurrent and distributed systems
Specification of modular systems
Development, specification and semantics of strictly modular systems : (seminar notes) ; presented at the Seminar on State of the Art and Perspectives of Software Technology in Europe, USA and Japan, ICC Berlin, September 1983
Specification and semantics : 08.07. - 12.07.96