Deriving modular designs from formal specifications

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn Part F129582, Issue , 1993, Pages 89-98

  Carrington, David ^a   Duke, David ^a,b   Hayes, Ian ^a   Welsh, Jim ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING; SPECIFICATIONS;

MODULAR DESIGNS; MODULAR STRUCTURES; STATE VARIABLES; Z SPECIFICATIONS;

FORMAL SPECIFICATION;

EID: 5244255369     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/256428.167066     Document Type: Conference Paper

References (21)

1. B. Broom, J. Welsh, and L. Wildman. UQ2: a multilingual document editor. In The Fifth Australian Software Engineering Conference, pages 289-294, Sydney, May 1990.
2. D. Carrington, D. Duke, R. Duke, P. King, G. Rose, and G. Smith. Object-Z: An object-oriented extension to Z. In S. Vuong, editor, Formal Description Techniques (FORTE'89). North Holland, 1990.
3. S.C. Choi and W. Scacchi. Extracting and restructuring the design of large systems. IEEE Software, 7(1):66-71, January 1990.
4. R. Duke, P. King, G. Rose, and G. Smith. The Object-Z specification language: Version 1. Technical Report 91-1, Software Verification Research Centre, Department of Computer Science, University of Queensland, Australia, 1991.
5. D.W. Embley and S.N. Woodfield. Assessing the quality of abstract data types written in ADA. In Proceedings of the 10th International Conference on Software Engineering, pages 144-153. IEEE, 1988.
6. A. Hall. Seven myths of formal methods. IEEE Software, 7(5):11-19, 1990.
7. I. Hayes, R. Neucom, and J. Welsh. An editor for Z specifications. In Advance Papers for CASE '89 Workshop, London, July 1989.
8. Ian Hayes, editor. Specification Case Studies. Prentice Hall International, second edition, 1993.
9. C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, second edition, 1990.
10. A. MacDonald and D.A. Carrington. Synthesizing designs from formal specifications: a case study. Technical report, Software Verification Research Centre, 1993.
11. C. Morgan. Programming from Specifications. Prentice Hall, 1990.
12. C. Morgan and B. Sufrin. Specification of the UNIX filing system. IEEE Transactions on Software Engineering, 10(2):128-142,1984.
13. D.L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12):1053-1058, December 1972.
14. S. Patel, W. Chu, and R. Baxter. A measure for composite module cohesion. In Proceeding of the Hth International Conference on Software Engineering, pages 38-48, 1992.
15. I. Sommerville. Software Engineering. Addison-Wesley, second edition, 1985.
16. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, second edition, 1992.
17. J. Thom and J. Zobel. NU-Prolog reference manual (version 1.3). Department of Computer Science, University of Melbourne, 1986.
18. J. Welsh, B. Broom, and D. Kiong. A design rationale for a language-based editor. Software - Practice and Experience, 21:923-948, 1991.
19. J. Welsh and Y. Yang. Tool integration techniques. Proc. 6th Australian Software Engineering Conference (ASWEC '91), pages 405-418, July 1991.
20. J. Welsh and Y. Yang. A loosely-coupled tool interface for interactive software development. Proc. 15th Australian Computer Science Conference, pages 967-980, Jan 1992.
21. E. Yourdon and L.L. Constantine. Structured Design: fundamentals of a discipline of computer program and systems design. Yourdon Press, second edition, 1978.