Toward metrics for process validation

This publication has 20 references indexed in Scilit:

• An evaluation of FUNSOFT nets
  Published by Springer Nature ,2005
• A Multi-paradigm Petri Net Based Approach To Process Description
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Software Process Modeling Example Problem
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Software Process Modeling Support for Management Planning and Control
  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
• Proving properties of real-time systems through logical specifications and Petri net models
  IEEE Transactions on Software Engineering, 1994
• Techniques for process model evolution in EPOS
  IEEE Transactions on Software Engineering, 1993
• Validating Real-time Systems By History-checking TRIO Specifications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• Process programming by hindsight
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• A Methodology for Collecting Valid Software Engineering Data
  IEEE Transactions on Software Engineering, 1984