{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:21Z","timestamp":1761611301112},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_25","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:28:41Z","timestamp":1330298921000},"page":"473-494","source":"Crossref","is-referenced-by-count":17,"title":["A meta-method for formal method integration"],"prefix":"10.1007","author":[{"given":"Richard F.","family":"Paige","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"R.J.R. Back. Refinement calculus II: parallel and reactive programs. In Stepwise Refinement of Distributed Systems, LNCS 430, Springer-Verlag, 1990.","key":"25_CR1","DOI":"10.1007\/3-540-52559-9_61"},{"doi-asserted-by":"crossref","unstructured":"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.","key":"25_CR2","DOI":"10.1007\/3-540-51305-1_8"},{"unstructured":"J. Bowen and M. Hinchey. Ten Commandments of Formal Methods. Oxford University Computing Laboratory Technical Monograph, 1994.","key":"25_CR3"},{"unstructured":"P. Coad and E. Yourdon. Object-oriented Analysis, Prentice-Hall, 1990.","key":"25_CR4"},{"doi-asserted-by":"crossref","unstructured":"T. DeMarco. Structured Analysis and System Specification, Yourdon Press, 1979.","key":"25_CR5","DOI":"10.1007\/978-3-642-48354-7_9"},{"unstructured":"T. DeMarco. Controlling Software Projects: Management, Measurement, and Estimation. Yourdon Press, 1982.","key":"25_CR6"},{"doi-asserted-by":"crossref","unstructured":"J.V. Guttag and J.J. Horning. Larch: Languages and Tools for Formal Specification,. Springer-Verlag, 1993.","key":"25_CR7","DOI":"10.1007\/978-1-4612-2704-5"},{"doi-asserted-by":"crossref","unstructured":"A. Hall. Using Formal Methods to Develop an ATC Information System. IEEE Software, March 1996.","key":"25_CR8","DOI":"10.1109\/52.506463"},{"key":"25_CR9","volume-title":"Proc. Eighth Z User Meeting","author":"J. Hammond","year":"1994","unstructured":"J. Hammond. Producing Z Specifications from Object-Oriented Analysis. In Proc. Eighth Z User Meeting, Cambridge, Springer-Verlag, 1994."},{"doi-asserted-by":"crossref","unstructured":"E.C.R. Helmer and A.J. Malton. Termination Conventions and Comparative Semantics, Acta Informatica, 25 (1988.","key":"25_CR10","DOI":"10.1007\/BF02737095"},{"unstructured":"E.C.R. Helmer. A Practical Theory of Programming, Springer-Verlag, 1993.","key":"25_CR11"},{"unstructured":"J.V. Hill. Software development methods in practice. In Proc. Sixth Annual Conference on Computer Assurance, 1991.","key":"25_CR12"},{"doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes, Prentice-Hall, 1985.","key":"25_CR13","DOI":"10.1007\/978-3-642-82921-5_4"},{"unstructured":"M.A. Jackson. Software Requirements and Specifications, Addison-Wesley, 1995.","key":"25_CR14"},{"doi-asserted-by":"crossref","unstructured":"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.","key":"25_CR15","DOI":"10.1007\/3-540-52513-0_10"},{"unstructured":"K. Kronl\u00f6f, ed. Method Integration: Concepts and Case Studies, Wiley, 1993.","key":"25_CR16"},{"unstructured":"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.","key":"25_CR17"},{"unstructured":"D.A. Marca and C.L. McGowan. SADT-Structured Analysis and Design Technique, McGraw-Hill, 1988.","key":"25_CR18"},{"unstructured":"Project MetaPHOR Group, MetaPHOR: Metamodeling, Principles, Hypertext, Objects and Repositories. Technical Report TR-7, University of Jyvaskyla, 1994.","key":"25_CR19"},{"unstructured":"C.C. Morgan. Programming from Specifications, Prentice-Hall, Second Edition, 1994.","key":"25_CR20"},{"unstructured":"R.F. Paige. Formal Method Integration via Heterogeneous Notations, PhD Dissertation, July 1997.","key":"25_CR21"},{"unstructured":"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.","key":"25_CR22"},{"doi-asserted-by":"crossref","unstructured":"K. Schoman and D. Ross. Structured Analysis for requirements definition, IEEE Trans. on Software Engineering, 3(1), 1977.","key":"25_CR23","DOI":"10.1109\/TSE.1977.229899"},{"doi-asserted-by":"crossref","unstructured":"L.T. Semmens, R.B. France, and T.W. Docker. Integrated Structured Analysis and Formal Specification Techniques, The Computer Journal 35(6), June 1992.","key":"25_CR24","DOI":"10.1093\/comjnl\/35.6.600"},{"unstructured":"J.M. Spivey. The Z Notation: A Reference Manual, Prentice-Hall, 1989.","key":"25_CR25"},{"doi-asserted-by":"crossref","unstructured":"N. Ward. Adding specification constructors to the refinement calculus. In Proc. FME `93: Industrial-strength Formal Methods, LNCS 670, Springer-Verlag, 1993.","key":"25_CR26","DOI":"10.1007\/BFb0024672"},{"doi-asserted-by":"crossref","unstructured":"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.","key":"25_CR27","DOI":"10.1007\/3-540-54834-3_32"},{"doi-asserted-by":"crossref","unstructured":"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.","key":"25_CR28","DOI":"10.1007\/3-540-52513-0_18"},{"unstructured":"E. Yourdon and L. Constantine. Structured Design, Prentice-Hall, 1979.","key":"25_CR29"},{"doi-asserted-by":"crossref","unstructured":"P. Zave and M. Jackson. Conjunction as Composition, ACM Trans. on Software Engineering and Methodology, 2(4), October 1993.","key":"25_CR30","DOI":"10.1145\/158431.158438"},{"doi-asserted-by":"crossref","unstructured":"P. Zave and M. Jackson. Where do operations come from? An approach to multiparadigm specification, IEEE Trans. on Software Engineering, 12(7), July 1996.","key":"25_CR31","DOI":"10.1109\/32.538607"},{"unstructured":"P. Zave and P. Mataga. A formal specification of some important 5ESS features, Part 1: Overview. AT&T Bell Laboratories Technical Memorandum, October 1993.","key":"25_CR32"}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:49:57Z","timestamp":1640951397000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}