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
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
53 Bl.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
Bericht / Technische Universität Berlin ; Nr. 83,23
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Techn. Univ., Fachbereich Informatik
- (wann)
-
1983
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:41 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
- Techn. Univ., Fachbereich Informatik
Entstanden
- 1983
Ähnliche Objekte (12)
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Algebraic specification of modules and configuration families
Behaviour and instantiation of high level net processes
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Universal theory of automata : a categorical approach; with numerous figures and examples
Abstract and behaviour module specifications
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
Fundamentals of algebraic graph transformation
Attributed graphs and typing : relationship between different representations
Computing by graph transformation : a survey and annotated bibliography
From algebraic module specifications to component concepts and integrated modeling techniques
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Algebraic specification of modules and configuration families
Behaviour and instantiation of high level net processes
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Universal theory of automata : a categorical approach; with numerous figures and examples
Abstract and behaviour module specifications
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
Fundamentals of algebraic graph transformation
Attributed graphs and typing : relationship between different representations
Computing by graph transformation : a survey and annotated bibliography
From algebraic module specifications to component concepts and integrated modeling techniques
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Algebraic specification of modules and configuration families
Behaviour and instantiation of high level net processes
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Universal theory of automata : a categorical approach; with numerous figures and examples
Abstract and behaviour module specifications
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
Fundamentals of algebraic graph transformation
Attributed graphs and typing : relationship between different representations
Computing by graph transformation : a survey and annotated bibliography