Measures of Specification and Design

  • Agnes Kaposi
  • Margaret Myers
Part of the Formal Approaches to Computing and Information Technology (FACIT) book series (FACIT)


Chapter 3’s introduction to model-based measurement amounted to a warning: no number or symbol can characterize an entity meaningfully, unless there is a formal model which establishes the context. Recalling Lord Kelvin’s motto, the same message can be put more explicitly: “What is not measurable, make measurable through its formal model”. Once a formal model exists which represents selected attributes of a referent, the model displays these as measurable properties. In addition, the model will often reveal further properties which point to unidentified inherent attributes, enriching the picture of the referent and enhancing understanding.


State Transition Measurement Scheme Product Species Light Bulb Utility Measure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Juran J M, Gryna F M (1983): “Quality planning and analysis”. McGraw Hill.Google Scholar
  2. Myers M: (1990) “Quality assurance of specification and design of software.” Ph.D dissertation, South Bank UniversityGoogle Scholar
  3. Kaposi A A, Myers M (1990): “Quality assuring specification and design.” Software Engineering Journal, Vol 5, No 1 pp 11–26. IEEGoogle Scholar
  4. Harel D (1987): “Statecharts: A visual formalism for complex systems.” Science of Computer Programming 8, pp 231–274, North Holland.Google Scholar
  5. Kaposi A A(1990): “Classification”.Task4, BTRLProjectSE00361: “Framework for Network Modelling”.Google Scholar

Copyright information

© Springer-Verlag London Limited 1994

Authors and Affiliations

  • Agnes Kaposi
    • 1
  • Margaret Myers
    • 2
  1. 1.Kaposi AssociatesLondonUK
  2. 2.LondonUK

Personalised recommendations