A Formal Model for Software Project Management
- 1 October 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 15 (10) , 1280-1293
- https://doi.org/10.1109/tse.1989.559781
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- SODOS: A software documentation support environment — Its useIEEE Transactions on Software Engineering, 1986
- SODOS: A software documentation support environment — Its definitionIEEE Transactions on Software Engineering, 1986
- Distributed Software System Design Representation Using Modified Petri NetsIEEE Transactions on Software Engineering, 1983
- Timing Requirements for Time-Driven Systems Using Augmented Petri NetsIEEE Transactions on Software Engineering, 1983
- Casting Petri Nets into ProgramsIEEE Transactions on Software Engineering, 1983
- Performance Evaluation of Asynchronous Concurrent Systems Using Petri NetsIEEE Transactions on Software Engineering, 1980
- Petri NetsACM Computing Surveys, 1977
- The Software Development SystemIEEE Transactions on Software Engineering, 1977
- PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing SystemsIEEE Transactions on Software Engineering, 1977
- The source code control systemIEEE Transactions on Software Engineering, 1975