A meta-method for formal method integration

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1313, Issue , 1997, Pages 473-494

  Paige, Richard F ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGRATION;

INTEGRATED METHOD; META METHODS; METHOD INTEGRATION;

FORMAL METHODS;

EID: 84957357262     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63533-5_25     Document Type: Conference Paper

References (32)

1. R.J.R. Back. Refinement calculus II: parallel and reactive programs. In Stepwise Refinement of Distributed Systems, LNCS 430, Springer-Verlag, 1990.
2. R.J.R. Back and J. von Wright. A Lattice-Theoretical Basis for a Specification Language. In Mathematics of Program Construction, LNCS 375, Springer-Verlag, 1989.
3. J. Bowen and M. Hinchey. Ten Commandments of Formal Methods. Oxford University Computing Laboratory Technical Monograph, 1994.
4. P. Coad and E. Yourdon. Object-oriented Analysis, Prentice-Hall, 1990.
5. T. DeMarco. Structured Analysis and System Specification, Yourdon Press, 1979.
6. T. DeMarco. Controlling Software Projects: Management, Measurement, and Estimation. Yourdon Press, 1982.
7. J.V. Guttag and J.J. Homing. Larch: Languages and Tools for Formal Specification, Springer-Verlag, 1993.
8. A. Hall. Using Formal Methods to Develop an ATC Information System. lEEE Software, March 1996.
9. J. Hammond. Producing Z Specifications from Object-Oriented Analysis. In Proc. Eighth Z User Meeting, Cambridge, Springer-Verlag, 1994.
10. E.C.R. Hehner and A.J. Malton. Termination Conventions and Comparative Semantics, Acta lnformatica, 25 (1988).
11. E.C.R. Hehner. A Practical Theory of Programming, Springer-Verlag, 1993.
12. J.V. Hill. Software development methods in practice. In Proc. Sixth Annual Conference on Computer Assurance, 1991.
13. C.A.R. Hoare. Communicating Sequential Processes, Prentice-Hall, 1985.
14. M.A. Jackson. Software Requirements and Specifications, Addison-Wesley, 1995.
15. S. King. Z and the refinement calculus. In VDM '90: VDM and Z – Formal Methods in Software Development, Third international symposium of VDM Europe, LNCS 428, Springer-Verlag, 1990.
16. K. Kronlöf, ed. Method Integration: Concepts and Case Studies, Wiley, 1993.
17. P. Larsen, J. van Katwijk, N. Plat, K. Pronk, and H. Toetenel. Towards an integrated combination of SA and VDM. In Proc. Methods Integration Workshop, Springer-Verlag, 1991.
18. D.A. Marca and C.L. McGowan. SADT - Structured Analysis and Design Technique, McGraw-Hill, 1988.
19. Project MetaPHOR Group, MetaPHOR: Metamodeling, Principles, Hypertext, Objects and Repositories. Technical Report TR-7, University of Jyvaskyla, 1994.
20. C.C. Morgan. Programming]rom Specifications, Prentice-Hall, Second Edition, 1994.
21. R.F. Paige. Formal Method Integration via Heterogeneous Notations, PhD Dissertation, July 1997.
22. F. Polack, M. Whiston, and K.C. Mander. The SAZ Project: Integrating SSADM and Z. In Proc. FME '93: Industrial-strength Formal Methods, LNCS 670, Springer-Verlag, 1993.
23. K. Schoman and D. Ross. Structured Analysis for requirements definition, IEEE Trans. on Software Engineering, 3(1), 1977.
24. L.T. Semmens, R.B. France, and T.W. Docker. Integrated Structured Analysis and Formal Specification Techniques, The Computer Journal 35(6), June 1992.
25. J.M. Spivey. The Z Notation: A Re]erence Manual, Prentice-Hall, 1989.
26. N. Ward. Adding specification constructors to the refinement calculus. In Proc. FME '93: Industrial-strength Formal Methods, LNCS 670, Springer- Verlag, 1993.
27. J.M. Wing and A.M. Zaremski. Unintrusive ways to integrate formal specifications in practice. In VDM '91: Formal Software Development Methods, Fourth International Symposium of VDM Europe, LNCS 551, Springer- Verlag, 1992.
28. J.C.P. Woodcock and C.C. Morgan. Refinement of state-based concurrent systems. In VDM '90: VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, LNCS 428, Springer- Verlag, 1990.
29. E. Yourdon and L. Constantine. Structured Design, Prentice-Hall, 1979.
30. P. Zave and M. Jackson. Conjunction as Composition, A CM Trans. on Software Engineering and Methodology, 2(4), October 1993.
31. P. Zave and M. Jackson. Where do operations come from? An approach to multiparadigm specification, IEEE Trans. on Software Engineering, 12(7), July 1996.
32. P. Zave and P. Mataga. A formal specification of some important 5ESS features, Part I: Overview. AT& T Bell Laboratories Technical Memorandum, October 1993.