Metrics for process models : empirical foundations of verification, error prediction, and guidelines for correctness
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540892236
- Dimensions
-
24 cm
- Extent
-
XIX, 193 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturverz. S. 165 - 190
- Bibliographic citation
-
Lecture notes in business information processing ; 6
- Keyword
-
Ablaufsteuerung
Prozesskette
Komplexitätsmaß
Fehlererkennung
Ereignisgesteuertes System
Business Process Execution Language
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2008
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:28 PM CEST
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
- Mendling, Jan
- Springer
Time of origin
- 2008
Other Objects (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