Applying refinement calculi to software process modelling
- 23 December 2002
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Software Process Modeling Example ProblemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- APPL/AACM Transactions on Software Engineering and Methodology, 1995
- A Paradigm for Decentralized Process ModelingPublished by Springer Science and Business Media LLC ,1995
- The Oikos services for object management in the software processLecture Notes in Computer Science, 1994
- Goal-directed requirements acquisitionScience of Computer Programming, 1993
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Science and Business Media LLC ,1992
- TRIO: A logic language for executable specifications of real-time systemsJournal of Systems and Software, 1990
- Linear logicTheoretical Computer Science, 1987
- Linda and FriendsComputer, 1986
- "Sometime" is sometimes "not never"Published by Association for Computing Machinery (ACM) ,1980