Entwurf und Implementierung eines Werkzeugs zur Analyse von Feature-Interaktionen in Estelle-Spezifikationen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1995
- Creator
-
Thees, Joachim
- URN
-
urn:nbn:de:hbz:386-kluedo-1750
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 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
- Thees, Joachim
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 1995
Other Objects (12)
Atomarität in parallel implementierten Estelle-Spezifikationen
Formale Spezifikation mit Estelle und die automatische Implementierung auf Von-Neummann- und Co-Design-Architekturen
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Testgenerierung aus Spezifikationen in Estelle und SDL
Specification, Detection and Resolution of IN Feature Interactions with Estelle
Implementierung eines Feature Portrayal Service
Implementierung eines Feature Portrayal Service
Endliche Implementierung algebraischer Spezifikationen
Dittenberger, Estelle
Estelle : Pastorale
Estelle : pastorale
Estelle : pastorale
Atomarität in parallel implementierten Estelle-Spezifikationen
Formale Spezifikation mit Estelle und die automatische Implementierung auf Von-Neummann- und Co-Design-Architekturen
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Testgenerierung aus Spezifikationen in Estelle und SDL
Specification, Detection and Resolution of IN Feature Interactions with Estelle
Implementierung eines Feature Portrayal Service
Implementierung eines Feature Portrayal Service
Endliche Implementierung algebraischer Spezifikationen
Dittenberger, Estelle
Estelle : Pastorale
Estelle : pastorale
Estelle : pastorale
Atomarität in parallel implementierten Estelle-Spezifikationen
Formale Spezifikation mit Estelle und die automatische Implementierung auf Von-Neummann- und Co-Design-Architekturen
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Testgenerierung aus Spezifikationen in Estelle und SDL
Specification, Detection and Resolution of IN Feature Interactions with Estelle
Implementierung eines Feature Portrayal Service
Implementierung eines Feature Portrayal Service
Endliche Implementierung algebraischer Spezifikationen
Dittenberger, Estelle
Estelle : Pastorale
Estelle : pastorale