Validation and verification of software process models
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 271-286
- https://doi.org/10.1007/3-540-54194-2_40
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Validation and verification of software process modelsPublished by Springer Nature ,1991
- Managing software processes in the environment MELMACACM SIGSOFT Software Engineering Notes, 1990
- A knowledge-based environment for modeling and simulating software engineering processesIEEE Transactions on Knowledge and Data Engineering, 1990
- Foundations for the Arcadia environment architectureACM SIGPLAN Notices, 1988
- Intelligent assistance for software development and maintenanceIEEE Software, 1988
- Predicate/Transition NetsPublished by Springer Nature ,1987
- PetrinetzePublished by Springer Nature ,1986