Index for publications on software process technologies


Index for publications on software process technologies

Sort of modelling: Event-based

Contents
Glossary
Publications
See also

Contents		Glossary Publications See also

Glossary

Event-based Model

Publications

1999:
/Holzmann, 1999/ A Practical Method for Verifying Event-Driven Software

1998:
/Cook, 1998a/ Balboa: A Framework for Event-Based Process Data Analysis
/Cook, 1998b/ Event-Basis Detection of Concurrency

1995:
/Barghouti, 1995/ Using Event Contexts and Matching Constraints to Monitor Software Processes
/Cook, 1995/ Automating Process Discovery through Event-Data Analysis

1993:
/Wolf, 1993a/ A Study in Software Process Data Capture and Analysis