From algebraic module specifications to component concepts and integrated modeling techniques
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
113 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturverz. S. 111 - 113
- Bibliographic citation
-
Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 2001,21
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
- (when)
-
2001
- Contributor
- 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:01 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
- Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Time of origin
- 2001
Other Objects (12)
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Abstract and behaviour module specifications
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Algebraic data type and process specifications based on projection spaces
Fundamentals of algebraic graph transformation
Algebraic specification of modules and configuration families
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Transformation of combined data type and process specifications using projection algebras
Algebraic theory of modular specification development
A generic component concept for integrated data type and process modeling techniques
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Abstract and behaviour module specifications
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Algebraic data type and process specifications based on projection spaces
Fundamentals of algebraic graph transformation
Algebraic specification of modules and configuration families
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Transformation of combined data type and process specifications using projection algebras
Algebraic theory of modular specification development
A generic component concept for integrated data type and process modeling techniques
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Abstract and behaviour module specifications
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Algebraic data type and process specifications based on projection spaces
Fundamentals of algebraic graph transformation
Algebraic specification of modules and configuration families
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Transformation of combined data type and process specifications using projection algebras
Algebraic theory of modular specification development
A generic component concept for integrated data type and process modeling techniques