A Method for Software Process Modeling and Description Using Lotos

This publication has 9 references indexed in Scilit:

• Software Process Modeling Example Problem
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• STATEMATE: a working environment for the development of complex reactive systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Software process modeling: a behavioral approach
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• An object-oriented approach to domain analysis
  ACM SIGSOFT Software Engineering Notes, 1989
• A hierarchical and functional software process description and its enaction
  Published by Association for Computing Machinery (ACM) ,1989
• Specifying coordinators: guidelines for groupware developers
  Published by Association for Computing Machinery (ACM) ,1989
• Multiparty specification
  Published by Association for Computing Machinery (ACM) ,1989
• The transformation schema: An extension of the data flow diagram to represent control and timing
  IEEE Transactions on Software Engineering, 1986
• Software Technology in the 1990's: Using a New Paradigm
  Computer, 1983