New concepts for amalgamation and extension in the framework of specification logics
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
29 cm
- Extent
-
27 Bl.
- Language
-
Deutsch
- Notes
-
graph. Darst.
- Bibliographic citation
-
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin ; Bericht-Nr. [19]91,05
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Der Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
- (when)
-
1991
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:20 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ehrig, Hartmut
- Baldamus, Michael
- Orejas, Fernando
- Der Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Time of origin
- 1991
Other Objects (12)
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
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
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
Algebraic theory of modular specification development
Recent trends in data type specification : selected papers
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998
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
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
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
Algebraic theory of modular specification development
Recent trends in data type specification : selected papers
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998
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
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
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
Algebraic theory of modular specification development
Recent trends in data type specification : selected papers