Semantic integration of heterogeneous formal specifications via transformation systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
192 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 176 - 186
- Bibliographic citation
-
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin ; Bericht-Nr. 2001,13
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
- (when)
-
2001
- Creator
-
Große-Rhode, Martin
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:29 PM CET
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
- Große-Rhode, Martin
- Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Time of origin
- 2001
Other Objects (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