Hochschulschrift
Computation sequence Chart : ein Konzept zur anforderungsbezogenen Testfallgenerierung
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
Ulm, Universität Ulm, Diss., 2011
- Schlagwort
-
Modellbasiertes Testen
Model Checking
- Ereignis
-
Veröffentlichung
- (wo)
-
Ulm
- (wer)
-
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- (wann)
-
2012
- Urheber
- URN
-
urn:nbn:de:bsz:289-vts-78164
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Grosch, Vanessa
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Entstanden
- 2012
Ähnliche Objekte (12)
Timing Constraints in Message Sequence Chart Specifications
Syntactic Analysis of Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications
Improving Live Sequence Chart to Automata Transformation for Verification
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
High-performance approaches to the comprehensive computation and evaluation of signatures in bacterial sequence datasets
High-performance approaches to the comprehensive computation and evaluation of signatures in bacterial sequence datasets
Performance message sequence chart : Sprache zur Leistungsvorhersage mittels der Generierung eines Prototypen im Kontext des Protokollentwurfs mit SDL und MSC
Associative Computation
Associative computation
Probabilistic sequence models for image sequence processing and recognition
Probabilistic sequence models for image sequence processing and recognition
Timing Constraints in Message Sequence Chart Specifications
Syntactic Analysis of Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications
Improving Live Sequence Chart to Automata Transformation for Verification
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
High-performance approaches to the comprehensive computation and evaluation of signatures in bacterial sequence datasets
High-performance approaches to the comprehensive computation and evaluation of signatures in bacterial sequence datasets
Performance message sequence chart : Sprache zur Leistungsvorhersage mittels der Generierung eines Prototypen im Kontext des Protokollentwurfs mit SDL und MSC
Associative Computation
Associative computation
Probabilistic sequence models for image sequence processing and recognition
Probabilistic sequence models for image sequence processing and recognition
Timing Constraints in Message Sequence Chart Specifications
Syntactic Analysis of Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications
Improving Live Sequence Chart to Automata Transformation for Verification
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
High-performance approaches to the comprehensive computation and evaluation of signatures in bacterial sequence datasets
High-performance approaches to the comprehensive computation and evaluation of signatures in bacterial sequence datasets
Performance message sequence chart : Sprache zur Leistungsvorhersage mittels der Generierung eines Prototypen im Kontext des Protokollentwurfs mit SDL und MSC
Associative Computation
Associative computation
Probabilistic sequence models for image sequence processing and recognition