Entwurf und Implementierung eines Werkzeugs zur Analyse von Feature-Interaktionen in Estelle-Spezifikationen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (wann)
-
1995
- Urheber
-
Thees, Joachim
- URN
-
urn:nbn:de:hbz:386-kluedo-1750
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 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
- Thees, Joachim
- Technische Universität Kaiserslautern, Fachbereich Informatik
Entstanden
- 1995
Ähnliche Objekte (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