A decade of TAPSOFT : aspects of progress and prospects in theory and practice of software development
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
22 Bl.
- Language
-
Deutsch
- Notes
-
Literaturverz. Bl. 19 - 22
- Bibliographic citation
-
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin ; Bericht-Nr. [19]95,1
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
- (when)
-
[1995]
- 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:22 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
- Mahr, Bernd
- Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Time of origin
- [1995]
Other Objects (12)
Algebraic specification of modules and configuration families
Behaviour and instantiation of high level net processes
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
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
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
Fundamentals of algebraic graph transformation
Abstract and behaviour module specifications
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Attributed graphs and typing : relationship between different representations
Algebraic specification of modules and configuration families
Behaviour and instantiation of high level net processes
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
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
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
Fundamentals of algebraic graph transformation
Abstract and behaviour module specifications
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Attributed graphs and typing : relationship between different representations
Algebraic specification of modules and configuration families
Behaviour and instantiation of high level net processes
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
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
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
Fundamentals of algebraic graph transformation
Abstract and behaviour module specifications
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications