Software processes as real-time systems: a case study using high-level Petri nets
- 1 January 1992
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 509-516
- https://doi.org/10.1109/pccc.1992.200598
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Predicate/transition netsPublished by Springer Nature ,2006
- What We Do and Don't Know about Software ProcessPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Timed high-level netsReal-Time Systems, 1991
- A unified high-level Petri net formalism for time-critical systemsIEEE Transactions on Software Engineering, 1991
- Language constructs for managing change in process-centered environmentsPublished by Association for Computing Machinery (ACM) ,1990
- Software process enactment in OikosPublished by Association for Computing Machinery (ACM) ,1990
- TRIO: A logic language for executable specifications of real-time systemsJournal of Systems and Software, 1990
- A Formal Model for Software Project ManagementIEEE Transactions on Software Engineering, 1989
- A hierarchical and functional software process description and its enactionPublished by Association for Computing Machinery (ACM) ,1989
- Software process modelingPublished by Association for Computing Machinery (ACM) ,1989