Metrics for process models : empirical foundations of verification, error prediction, and guidelines for correctness
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540892236
- Maße
-
24 cm
- Umfang
-
XIX, 193 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Literaturverz. S. 165 - 190
- Erschienen in
-
Lecture notes in business information processing ; 6
- Schlagwort
-
Ablaufsteuerung
Prozesskette
Komplexitätsmaß
Fehlererkennung
Ereignisgesteuertes System
Business Process Execution Language
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, NY
- (wer)
-
Springer
- (wann)
-
2008
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
21.06.2024, 09:03 MESZ
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
- Mendling, Jan
- Springer
Entstanden
- 2008
Ähnliche Objekte (12)
Models for software verification: Proving program correctness
Empirical software metrics for benchmarking of verification tools
Design of Service Net based Correctness Verification Approach for Multimedia Conferencing Service Orchestration
The foundations of program verification
The foundations of program verification
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
Model-driven development for functional correctness of avionics systems : a verification framework for SysML specifications
Quality metrics driven functional verification for IP based SoC design
Correctness conditions for property nominalists
Design and Verification of Video Quality Metrics
Traits: Correctness-by-Construction for Free
OS verification extended : on the formal verification of device drivers and the correctness of client-server software
Models for software verification: Proving program correctness
Empirical software metrics for benchmarking of verification tools
Design of Service Net based Correctness Verification Approach for Multimedia Conferencing Service Orchestration
The foundations of program verification
The foundations of program verification
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
Model-driven development for functional correctness of avionics systems : a verification framework for SysML specifications
Quality metrics driven functional verification for IP based SoC design
Correctness conditions for property nominalists
Design and Verification of Video Quality Metrics
Traits: Correctness-by-Construction for Free
OS verification extended : on the formal verification of device drivers and the correctness of client-server software
Models for software verification: Proving program correctness
Empirical software metrics for benchmarking of verification tools
Design of Service Net based Correctness Verification Approach for Multimedia Conferencing Service Orchestration
The foundations of program verification
The foundations of program verification
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
Model-driven development for functional correctness of avionics systems : a verification framework for SysML specifications
Quality metrics driven functional verification for IP based SoC design
Correctness conditions for property nominalists
Design and Verification of Video Quality Metrics
Traits: Correctness-by-Construction for Free