GDPA  
Index for publications on software process technologies  

Sort of modelling: Event-based

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

    See also

    Publications on software process technologies

    This page online  •  GDPA Online  •  Last Updated 17.June.2002 by C. Freericks