Effects of structure on the comprehensibility of formal specifications

IEE Proceedings: Software

Volumn 146, Issue 4, 1999, Pages 193-199

  Finney, K ^a,b   Fenton, N ^a   Fedorec, A ^a  

^a UNIVERSITY OF GREENWICH   (United Kingdom)

^b CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION;

SCHEMA CALCULUS;

SOFTWARE ENGINEERING;

EID: 0033170344     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:19990600     Document Type: Article

References (32)

1. FENTON, N.E., PFLEEGER, S.L., and GLASS, R.: 'Science and substance: a challenge to software engineers', IEEE So/hi:, 1994, II, (4), pp. 86-95
2. SCANLAN, D.A.: 'Structured flowcharts outperform pseudocode: an experimental comparison', IEEE Sofnv., 1989, 6, (5), pp. 28-36
3. BASILI, VR., and PERRICONE, B.T.: 'Software errors and complexity: an empirical investigation', Commun. ACM, 1984, 27, (1), pp. 42-52
4. HATTON, L.: 'Logarithmic disorder in software systems: evidence and implications', Preprint, 1995
5. MOLLER, K.H., and PAULISH, D.: 'An empirical investigation of software fault distribution', in FENTON, N.E. WHITTY, R.W. and IIZUKA, Y (Eds): 'Software quality assurance and measurement' (International Thomson Computer Press, 1995), pp 242-253
6. SPIVEY, J.M.: 'The Z notation: a reference manual' (Prentice-Hall International, 1992) 2nd edn
7. 'The Conform Project', European Focus, 1997, Issue 8
8. FINNEY, K.: 'Mathematical notation in formal specification: too difficult for the masses?', IEEE Trans. Sofnv. Eng., 1996, 22, (2), pp. 158-159
9. LARSON, P.G., FITZGERALD, J., and BROOKES, T.: 'Applying formal specification in industry', IEEE Sofrtv., 1996, 13, (3), pp. 48-56
10. BARDEN, R., and STEPNEY, S.: 'Support for using Z', BONEN, J.P. and NICHOLLS, J.E. (Eds): 'Z user workshop' (Springer-Verlag, London, 1992)
11. VESSEY, I., and WEBER, R.: 'Research on structured programming: an empiricist's evaluation', IEEE Trans. Softu: Eng., 1984,10, (7), pp. 397-407
12. HATTON, L.: 'Re-examining the fault density-component size connection', lEEESofM., 1997, 14, (2), pp. 89-97
13. PARNAS, D.: 'On the criteria to be used in decomposing systems into modules', m YOURDON E. (Ed.) 'Classics in software engineering' (Yourdon Press, New York, 1979)
14. TENNY, T.: 'Program readability: procedures versus comments', IEEE Trans. Sofm: Eng., 1988, 14, (9), pp. 1271-1279
15. HAROLD, F.G. 'Experimental evaluation of program quality using external metrics', in SOLOWAY, E., and IYENGAR, S. 'Empirical studies of programmers' (Ablex Publishing Corp., NJ, 1986)
16. TAKANG, A.A., GRUBB, P.A., and MACREDIE, R.D.: 'The effects of comments and identifier names on program comprehensibility: an experimental investigation', J. Program. Lang., 1996, 4, pp. 143-167
17. VINTER, R.J., LOONIES, M.J., and KORNBROT, D.E.: 'Reasoning about formal software specifications: an initial investigation, Technical Report 249 University of Hertfordshire, Division of Computer Science, 1996
18. VINTER, R.J.: 'A review of twenty four formal specification notations', Technical Report 240 University of Hertfordshire, Division of Computer Science, 1996
19. VINTER, R.J.: 'Transfer of logical tendencies to formal reasoning', Technical Report 252 University of Hertfordshire, Division of Computer Science, 1996
20. LOONIES, M.J., and VINTER, R.J.: 'Formal methods: no cure for faulty reasoning', Technical Report 265 University of Hertfordshire, Division of Computer Science, 1996
21. VINTER, R.J., LOONIES, M.J., and KORNBROT, D.E.: 'Applying software metrics to formal specifications: a cognitive approach,' Proceedings of the 5th International Sofovare Metrics Symposium, 1998, Maryland, USA pp. 216-223
22. MITCHELL, R., LOONIES, M., and HOWSE, J.: 'Structuring formal specifications-a lesson relearned', Microprocess. Microsyst., 1994, 18, (10), pp. 593-599
23. HAYES, I.: 'Specification case studies' (Prentice-Hall, 1987)
24. FINNEY, K., RENNOLLS, K., and FEDOREC, A.: 'Measuring the comprehensibility of Z specifications', J. Syst. Sofhv., 1998,42, pp. 3-15
25. J0RGENSEN, A.H.: 'A methodology for measuring the readability and modifyability of computer programs', BIT, 1980, 20, pp. 394-405
26. GREEN, T.R.G.: 'Conditional program statements and their comprehensibility to professional programmers', J. Occup. Psychol., 1977, 50, pp. 93-109
27. BROOKS, R.E.: 'Studying programmer behaviour experimentally: the problems of proper methodology', Commun. ACM, 1980, 23, (4), pp. 207-213
28. ZWEBEN, S.U., EDWARDS, S.H., WEIDE, B.W., and HOLLINGSWORTH, I.E.: 'The effects of layering and encapsulation on software development cost and quality', IEEE Trans. Softw. Eng., 1988, 21, (3), pp. 200-208
29. DALY, J., BROOKS, A., MILLER, J., ROPER, M., and WOOD, M.: 'Evaluating inheritence depth on the maintainability of object oriented software', Empir. Softw. Eng., 1996, 1, pp. 109-132
30. PORTER, A., VOTTA. L., and BASILI, V: 'Comparing detection methods for software requirement inspections: a replicated experiment', IEEE Trans Sofhv. Eng., 1995, 21, (6), pp. 263-275
31. MINITAB INC: 'Minitab reference manual', 3081 Enterprise Drive, State College PA 16801, USA.
32. HINTON, P.R.: 'Statistics explained' (Routledge 1995)