Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model

  title={Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model},
  author={Jonathan E. Cook and Alexander L. Wolf},
  journal={ACM Trans. Softw. Eng. Methodol.},
To a great extent, the usefulness of a formal model of a software process lies in its ability to accurately predict the behavior of the executing process. Similarly, the usefulness of an executing process lies largely in its ability to fulfill the requirements embodied in a formal model of the process. When process models and process executions diverge, something significant is happening. We have developed techniques for uncovering and measuring the discrepancies between models and executions… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 388 citations. REVIEW CITATIONS
180 Citations
8 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 180 extracted citations

389 Citations

Citations per Year
Semantic Scholar estimates that this publication has 389 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-8 of 8 references

Artificial Intelligence

  • E. Rich
  • McGraw-Hill Series in Artificial Intelligence…
  • 1983
Highly Influential
4 Excerpts

Process Discovery and Validation through Event-Data Analysis

  • J. E. Cook
  • Technical Report CU-CS- 817-96, University of…
  • 1996
Highly Influential
5 Excerpts

An Overview of Sequence Comparison

  • J. B. Kruskal
  • D. Sankoff and J.B. Kruskal, editors, Time Warps…
  • 1983
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…