Parameterization without parameters in: The history of a hierarchy of specifications
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
42 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 40 - 42
- Erschienen in
-
Interner Bericht / Technische Universität Kaiserslautern ; 88
- Schlagwort
-
ASPIK
Spezifikation
Sortierverfahren
Anwendungsdienstanbieter
Algebraische Spezifikation
Sortierverfahren
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Fachbereich Informatik
- (wann)
-
1983
- Urheber
- 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, 13:32 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
- Beierle, Christoph
- Gerlach, Michael
- Voss, Angelika
- Universität Kaiserslautern. Fachbereich Informatik
- Fachbereich Informatik
Entstanden
- 1983
Ähnliche Objekte (12)
Formal specifications with higher order parameterization
From demonstrations to task-space specifications. Using causal analysis to extract rule parameterization from demonstrations
Specifications of database systems
Phenomenology of convection-parameterization closure
Composition of hierarchic default specifications
Composition of hierarchic default specifications
Semantics of OCL Operation Specifications
Efficient Implementation of Estelle Specifications
The Hierarchy of Money
Motor Parameterization
Parameterization of single-scattering properties of snow
Parameterization and tiling of polyhedral surfaces
Formal specifications with higher order parameterization
From demonstrations to task-space specifications. Using causal analysis to extract rule parameterization from demonstrations
Specifications of database systems
Phenomenology of convection-parameterization closure
Composition of hierarchic default specifications
Composition of hierarchic default specifications
Semantics of OCL Operation Specifications
Efficient Implementation of Estelle Specifications
The Hierarchy of Money
Motor Parameterization
Parameterization of single-scattering properties of snow
Parameterization and tiling of polyhedral surfaces
Formal specifications with higher order parameterization
From demonstrations to task-space specifications. Using causal analysis to extract rule parameterization from demonstrations
Specifications of database systems
Phenomenology of convection-parameterization closure
Composition of hierarchic default specifications
Composition of hierarchic default specifications
Semantics of OCL Operation Specifications
Efficient Implementation of Estelle Specifications
The Hierarchy of Money
Motor Parameterization
Parameterization of single-scattering properties of snow