Formal Specification Measurement

  1. Bainbridge, J.; Whitty, R.W.; Wordsworth, J.: Obtaining Structural Metrics of Z Specifications for System Development. 5th Annual Z User Meeting, 1990
  2. Cardenes, S.; Zelkowitz, M.V.: Evaluation Criteria for Functional Specification. Proceedings of the 12th International Conference on Software Engineering, March~26-30, Nice, France, 1990, pp. 26-33
  3. Chamillard, A.T.: An Exploratory Study of Program Metrics as Predictors of Reachability Analysis Performance. Proc. of the ESEC'95, Barcelona, September 1995, pp. 343-361
  4. Coulter, N.S.; Cooper, R.B.; Solomon, M.K.: Information-theoretic Complexity of Program Specification. The Computer Journal, 30(1987)3, pp. 223-227
  5. Fenton N.: System Construction and Analysis – A Mathematical and Logical Framework. McGraw Hill Publ., 1993
  6. Fenton, N. E.; Pfleeger, S. L.: Software Metrics - a rigorous and practical approach. Thompson Publ., 1997
  7. Fraser, M.D.; Vaishavi, V.K.: A Formal Specification Maturity Model. CACM, 40(1997)12, pp. 95-103
  8. Fuchs, N.; Stainer, S.: Language Independent Definition of Axiomatic Metrics. in: Denvir et. al.: Formal Aspects of Measurement. Springer Verlag, 1992, pp. 84-107
  9. Griech, B.: Candidate Metrics For SDL Formal Specifications. Proc. of the Conference on Software Measurement and Management (IFPUG'96), February 5-9, Rome, Italy, 1996 (15 p.)
  10. Hamilton, M.; Zeldin, S.: Higher Order Software – A Methodology for Defining Software. IEEE Transactions on Software Engineering, 2(1976)1, S. 9-32
  11. Hayes, I.J.; Mahony, B.P.: Using Units of Measurement in Formal Specification. Formal Aspects of Computing, 7(1995)3, pp. 327-347
  12. Huang, S.J.; Lai, R.: On Measuring the Complexity of an Estelle Sepcification. Journal of Systems and Software, 40(1998), pp. 165-181
  13. Jacob, P.; Cahill, T.: Software Product Metrics as Attributes in an Attribute Grammar. Proc. of the 2ICSQ, October 1992, Research Triangle Park, USA, pp. 40-49
  14. Jilani, L. L.; Desharnais, J.; Mili, A.: Defining and Applying Measures of Distance Between Specifications. IEEE Transaction on Software Engineering, 27(2001)8, pp. 673-703
  15. Kerber, L.: Scenario-Based Performance Evaluation of SDL/MSC-Specific Systems. In: Dumke et al.: Performance Engineering, LNCS 2047, Springer Publ., 2001, pp. 185-201
  16. Kokol, P.: Measuring Formal Specification with Alpha - Metric. Software Engineering Notes, 24(1999)1, S.80-81
  17. Kokol, P.; Podgorelec, V.: Ranking Complexity of Formal Specifications. Proc. of the FESMA'99, Amsterdam, Netherlands, October 1999, pp. 111-124
  18. Kuhn, D.R.: A Technique for Analyzing the Effects of Changes in Formal Specifications. The Computer Journal, 35(1992)6, pp. 574-578
  19. Leiss, E. L.: A Programmer’s Companion to Algorithm Analysis. Chapman & Hall Publ., 2007
  20. Melhart, B.E.: A Continuum of Formal Methods for Specification of Quality Software. Proceedings of the International Software Quality Conference, Dayton, Ohio, 1991, pp. 66-71
  21. Mitchell, J.; Urban, J.E.; McDonald, R.: The Effect of Abstract Data Types on Program Development. IEEE Computer, August 1987, pp. 85-88
  22. Moore, A.P.: The Specification and Verified Decomposition of System Requirements Using CSP. IEEE Transactions on Software Engineering, 16(1990)9, pp. 932-948
  23. Morasca, S.: Measuring Attributes of Concurrent Software Specification in Petri Nets. Proc. of the METRICS'99, Boca Raton, Florida, November 1999, pp. 100-110
  24. Power, J. F.; Malloy, B. A.: A metrics suite for grammar-based software: Research Articles. Journal of Software Maintenance and Evolution: Research and Practice, 16(2004)6, pp. 405-426
  25. Raffey, J.L.: Mastering Complexity of Design Level - Application to the Communication Protocols Specification. Proc. of the AOWSM, June 5-7, 1995, Oreon, Section 11
  26. Richter, S.: Investigations to the applicability of software metrics for specification languages of communication systems (German). Master's Thesis, TU Magdeburg, 1992
  27. Shaw, R.: The role of formal methods in managing complexity. in Mitchell, R.J.: Managing Complexity in Software Engineering. IEEE Computing Series 17, London, 1990, pp. 51-86
  28. Talib, M. A.; Khelifi, A.; Abran, A.; Ormandjieva, O.: Assessment of Real-Time Software Specification Quality Using. In: Cuadrado-Gallego, J. J.; Braungarten, R.; Dumke, R. R.; Abran, A.: Software Process and Product Measurement. LNCS 4895, Springer-Verlag, Berlin New York, 2007, S. 183-194
  29. VanSuetendeal, N.; Elwell, D.: Software Quality Metrics. Technical Report, Atlantic City, New Jersey, Juli 1991
  30. Vinter, R.: Applying Software Metrics to Formal Specifications: A Cognitive Approach. Proc. of the Fifth International Software Metrics Symposium, November 20-21, 1998, Bethesda, Maryland, pp. 216-223
  31. Vivanco, R.A.; Pizzi, N.J.: Identifying effective software metrics using genetic algorithms. IEEE CCECE 2003. Canadian Conference on Electrical and Computer Engineering, 2003. pp. 1305-1308
  32. Whitty, R.W.: Research in specification metrics. Paper 6, IEE Colloquium of Software Metrics, Digest No. 1990/003, 1990
  33. Whitty, R.W.: Structural Metrics for Z Specifications. Proceedings of the Z User Workshop, Oxford 1989, Springer Publ., 1990, pp. 186-191