Applying refinement calculi to software process modelling

This publication has 15 references indexed in Scilit:

• Software Process Modeling Example Problem
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• APPL/A
  ACM Transactions on Software Engineering and Methodology, 1995
• A Paradigm for Decentralized Process Modeling
  Published by Springer Nature ,1995
• The Oikos services for object management in the software process
  Published by Springer Nature ,1994
• Goal-directed requirements acquisition
  Science of Computer Programming, 1993
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• TRIO: A logic language for executable specifications of real-time systems
  Journal of Systems and Software, 1990
• Linear logic
  Theoretical Computer Science, 1987
• Linda and Friends
  Computer, 1986
• "Sometime" is sometimes "not never"
  Published by Association for Computing Machinery (ACM) ,1980