SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Computer-aided verification of software process model properties
6 references·1 citing·18 second hop
Computer-aided verification of software process model properties (1993)Computer-aided verification of software p…An evaluation of FUNSOFT nets (2005)An evaluation of FUNSOFT netsFUNSOFT nets: a Petri-net based software process modeling language (2002)FUNSOFT nets: a Petri-net bas…Validation and verification of software process models (1991)Validation and verification o…Software process model analysis based on FUNSOFT nets (1991)Software process model analys…FUNSOFT nets: a Petri-net based software process modeling language (1991)FUNSOFT nets: a Petri-net bas…Managing software processes in the environment MELMAC (1990)Managing software processes i…Process management in-the-many (1995)Process management in-the-manyConcepts and implementation of a rule-based process engine (1992)Software process model evolution in the SPADE environment (1993)Interworkflow system: coordination of each workflow system among multiple organizations (1998)Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models (2001)Process modeling in-the-large with SLANG (2002)Support of cooperating and distributed business processes (2002)Managing software processes in the environment MELMAC (1990)Experiences in Discovering, Modeling, and Reenacting Open Source Software Development Processes (2005)Why do we actually need the Pi-calculus for business process management? (2006)Representing Process Variation with a Process Family (2007)An integrated approach for the specification of processes and related complex structured objects in business applications (1996)Computational reflection in software process modeling: The SLANG approach (2002)Toward metrics for process validation (2002)A SURVEY AND ASSESSMENT OF SOFTWARE PROCESS REPRESENTATION FORMALISMS (1993)Computational reflection in software process modeling: the SLANG approach (1993)Business process modeling in the workflow management environment Leu (1994)Data model evolution as a basis of business process management (1995)FlowManager: a workflow management system based on Petri nets (2003)
this work references cited by second hop

References

  • 1991Validation and verification of software process models82 cited
  • 1991FUNSOFT nets: a Petri-net based software process modeling language55 cited
  • 1990Managing software processes in the environment MELMAC51 cited
  • 2005An evaluation of FUNSOFT nets39 cited
  • 2002FUNSOFT nets: a Petri-net based software process modeling language32 cited
  • 1991Software process model analysis based on FUNSOFT nets24 cited

Cited by

  • 1995Process management in-the-many15 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work