References

• 1. 1)
     • S.D. Conte , H.E. Dunsmore , V.Y. Shen . (1986) , Software engineering metrics and models.
  2. 2)
     • Bache, R., Wilson, L.: `Details of the implementation of the decomposition algorithm', SE/69, SBP/079/03, Alvey Project, 1987.
  3. 3)
     • C.B. Jones . (1990) , Systematic software development using VDM.
  4. 4)
     • Bache, R.: `Structural metrication within an axiomatic framework', SE/69, SBP/078/03, Alvey Project, 1987.
  5. 5)
     • N.E. Fenton . (1988) , Software measurement.
  6. 6)
     • N.E. Fenton , R.W. Whitty , A.A. Kaposi . A generalised mathematical theory of structured programming. Theor. Comp. Sci. , 145 - 171
  7. 7)
     • J.W. Howatt , A.L. Baker . (1986) , Rigorous definition and analysis of program complexity measures: an example using nesting.
  8. 8)
     • A.J. Perlis , F.G. Sayward , M. Shaw . (1981) , Software metrics.
  9. 9)
     • Fenton, N.E., Whitty, R.W.: `Characterisation of structured programs', SE/69 SBP/036, Alvey Project, 1987.
  10. 10)
      • D.E. Knuth . (1969) The art of computer programming, Fundamental algorithms.
  11. 11)
      • J.M. Bieman , A.L. Baker , P.N. Clites , D.A. Gustafson , A.C. Melton . , A standard representation of imperative language programs for data collection and software measures specification.
  12. 12)
      • A.L. Baker , J.M. Bieman , D.A. Gustafson , A.C. Melton . (1987) Modelling and measuring the software development process.
  13. 13)
      • A.C. Hurkens , C.A. Hurkens , R.W. Whitty . (1988) Generation of a class of program flowgraphs.
  14. 14)
      • N.E. Fenton , P.D.A. Mole . A note on the use of Z to specify flowgraph decomposition. J. Inf. Softw. Technol. , 7 , 432 - 437
  15. 15)
      • N.E. Fenton , A.A. Kaposi . Metrics and software structure. J. Inf. Software. Technol. , 301 - 320
  16. 16)
      • Linkman, S., Whitty, R.W.: `Some point concerning the modelling of S3 source as flowgraphs', SE/69, GCL/005, Alvey Project, 1988.
  17. 17)
      • D.G. Morgan , D.N. Shorter , M.A. Tainsh . (1988) , Towars systems engineering — a joint strategy for IKBS, SE & HI.
  18. 18)
      • Elliott, J.J.: `Data complexity aspects of software', SE/69, PRRM/002, 01, Alvey Project, 1988.
  19. 19)
      • Mole, P.D.A., Leelasena, L., Wilson, L.: `A user's guide and program documentation for the QUALMS system', SE/69, SBP/099/02, Alvey Project, 1988.
  20. 20)
      • R.E. Prather . On hierarchical software metrics. Softw. Eng. J. , 2 , 42 - 45
  21. 21)
      • E. Soloway , J. Bonar , K. Ehrlich . Cognitive strategies and looping constructs: an empirical survey. Comm. ACM , 11 , 853 - 860
  22. 22)
      • Whitty, R.W.: `The flowgraph model of sequential process', SE/69, GCL/004/01, Alvey Project, 1987.
  23. 23)
      • R.S. Kosaraju . Analysis of structured programms. JCSS , 232 - 255
  24. 24)
      • Hill, J.V.: `The development of high reliability software — RR & A' experience for safety critical systems', Proc. IEE Software Engineering '88, 1988, p. 169–173.
  25. 25)
      • C. Morgan . (1984) , Schemas in Z — a preliminary reference manual.
  26. 26)
      • L. Finkelstein . A review of the fundamental concepts of measurement. Measurements , 1 , 25 - 34
  27. 27)
      • N.E. Fenton , R.W. Whitty . Axiomatic approach to software metrication through program decomposition. Comput. J. , 4 , 329 - 339
  28. 28)
      • N.E. Fenton , A.A. Kaposi , B. Littlewood . (1988) An engineering theory of structure and measurement, Measurement for software quality assurance and control.
  29. 29)
      • T.J. McCabe . A complexity measure. IEEE Trans. , 308 - 320
  30. 30)
      • A. Ginsburg , M. Yoeli . Reducibility of synchronisation structures. Theor. Comp. Sci. , 301 - 314
  31. 31)
      • W.W. Peterson , T. Kasami , N. Tokura . On the capabilities of While, Repeat and Exit statements. CACM , 8 , 503 - 512