Semantic integration of heterogeneous formal specifications via transformation systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
192 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 176 - 186
- Erschienen in
-
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin ; Bericht-Nr. 2001,13
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
- (wann)
-
2001
- Urheber
-
Große-Rhode, Martin
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:29 MEZ
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
- Große-Rhode, Martin
- Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Entstanden
- 2001
Ähnliche Objekte (12)
Semantic integration of heterogeneous software specifications
Using Semantic Web Technology in Requirements Specifications
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Formal specifications with higher order parameterization
Slicing integrated formal specifications for verification
Translating formal specifications into behavioural hardware descriptions
Generation of Formal Specifications for Avionic Software Systems
Financial audit systems modeling : a formal specifications approach
Generating user interfaces from formal specifications of the application
Semantic service discovery in heterogeneous cyber-physical systems
Semantic service discovery in heterogeneous cyber-physical systems
Semantic integration of heterogeneous software specifications
Using Semantic Web Technology in Requirements Specifications
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Formal specifications with higher order parameterization
Slicing integrated formal specifications for verification
Translating formal specifications into behavioural hardware descriptions
Generation of Formal Specifications for Avionic Software Systems
Financial audit systems modeling : a formal specifications approach
Generating user interfaces from formal specifications of the application
Semantic service discovery in heterogeneous cyber-physical systems
Semantic service discovery in heterogeneous cyber-physical systems
Semantic integration of heterogeneous software specifications
Using Semantic Web Technology in Requirements Specifications
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Formal specifications with higher order parameterization
Slicing integrated formal specifications for verification
Translating formal specifications into behavioural hardware descriptions
Generation of Formal Specifications for Avionic Software Systems
Financial audit systems modeling : a formal specifications approach
Generating user interfaces from formal specifications of the application
Semantic service discovery in heterogeneous cyber-physical systems