Metrics for quantifying evolutionary changes in Z specifications

  title={Metrics for quantifying evolutionary changes in Z specifications},
  author={Andreas Bollin},
  journal={Journal of Software: Evolution and Process},
This article proposes metrics for quantifying changes throughout the evolution of formal software specifications in long living systems. Formal specifications play an important role in the software development life-cycle by supporting refinement and proof and by providing a basis for comprehension and maintenance activities. However, specifications also undergo evolutionary changes, and these changes are hard to assess because of a lack of suitable measures. This paper proposes and analyzes a… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
3 Extracted Citations
75 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 75 references

Web services description language (WSDL) Version 2.0

  • R Chinnici, JJ Moreau, A Ryman, S. Weerawarana
  • 2007
Highly Influential
19 Excerpts

Slice based program metrics

  • HD Longworth
  • Master’s Thesis, Michigan Technological…
  • 1985
Highly Influential
7 Excerpts

Specification comprehension – reducing the complexity of specifications

  • A. Bollin
  • PhD Thesis, Universität Klagenfurt April
  • 2004
Highly Influential
6 Excerpts

Formal specification of control software for a radiation therapy machine

  • J Jacky, M Patrick, J. Unger
  • Technical Report,
  • 1997
Highly Influential
2 Excerpts

Similar Papers

Loading similar papers…