{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:40Z","timestamp":1725454000270},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000485","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"395-408","source":"Crossref","is-referenced-by-count":1,"title":["Case studies in using 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,9,7]]},"reference":[{"key":"27_CR1","unstructured":"R. Barden, S. Stepney, and D. Cooper. Z in Practice, Prentice-Hall, 1994."},{"key":"27_CR2","unstructured":"J. Bowen and M. Hinchey. Ten Commandments of Formal Methods. Oxford University Computing Laboratory Technical Monograph, 1994."},{"key":"27_CR3","unstructured":"P. Coad and E. Yourdon. Object-oriented Analysis, Prentice-Hall, 1990."},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"T. DeMarco. Structured Analysis and System Specification, Yourdon Press, 1979.","DOI":"10.1007\/978-3-642-48354-7_9"},{"key":"27_CR5","unstructured":"T. DeMarco. Controlling Software Projects: Management, Measurement, and Estimation. Yourdon Press, 1982."},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"J.V. Guttag and J.J. Horning. Larch: Languages and Tools for Formal Specification, Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"27_CR7","volume-title":"Proc. Eighth Z User Meeting","author":"A. Hall","year":"1994","unstructured":"A. Hall. Specifying and Interpreting Class Hierarchies in Z. In Proc. Eighth Z User Meeting, Cambridge, Springer-Verlag, 1994."},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"A. Hall. Using Formal Methods to Develop an ATC Information System. IEEE Software, March 1996.","DOI":"10.1109\/52.506463"},{"key":"27_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."},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"E.C.R. Hehner and A.J. Malton. Termination Conventions and Comparative Semantics, Acta Informatica, 25 (1988).","DOI":"10.1007\/BF00268842"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"E.C.R. Hehner. A Practical Theory of Programming, Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4419-8596-5"},{"key":"27_CR12","unstructured":"M.A. Jackson. Software Requirements and Specifications, Addison-Wesley, 1995."},{"key":"27_CR13","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.","DOI":"10.1007\/3-540-52513-0_10"},{"key":"27_CR14","unstructured":"K. Kronl\u00f6f, ed. Method Integration: Concepts and Case Studies, Wiley, 1993."},{"key":"27_CR15","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":"27_CR16","unstructured":"Project MetaPHOR Group, MetaPHOR: Metamodeling, Principles, Hypertext, Objects and Repositories. Technical Report TR-7, University of Jyvaskyla, 1994."},{"key":"27_CR17","unstructured":"C.C. Morgan. Programming from Specifications, Prentice-Hall, Second Edition, 1994."},{"key":"27_CR18","unstructured":"R.F. Paige. Formal Method Integration via Heterogeneous Notations, PhD Dissertation, November 1997."},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"R.F. Paige. A Meta-Method for Formal Method Integration. In Proc. Formal Methods Europe '97, Lecture Notes in Computer Science, Springer-Verlag, 1997.","DOI":"10.1007\/3-540-63533-5_25"},{"key":"27_CR20","unstructured":"R.F. Paige. Using Heterogeneous Notations to Integrate a Formal and Object-Oriented Method. Submitted to The Computer Journal, 1997."},{"key":"27_CR21","unstructured":"R.F. Paige. Integrating Predicative Programming and SA\/SD using Heterogeneous Notations. Submitted to PROCOMET '98."},{"key":"27_CR22","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":"27_CR23","doi-asserted-by":"crossref","unstructured":"G. Randell. Data flow diagrams and Z. In Z Users Meeting '90, Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4471-3540-1_14"},{"key":"27_CR24","doi-asserted-by":"crossref","unstructured":"K. Schoman and D. Ross. Structured Analysis for requirements definition, IEEE Trans. on Software Engineering, 3(1), 1977.","DOI":"10.1109\/TSE.1977.229899"},{"key":"27_CR25","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.","DOI":"10.1093\/comjnl\/35.6.600"},{"key":"27_CR26","unstructured":"J.M. Spivey. The Z Notation: A Reference Manual, Prentice-Hall, 1989."},{"key":"27_CR27","unstructured":"E. Yourdon and L. Constantine. Structured Design, Prentice-Hall, 1979."},{"key":"27_CR28","doi-asserted-by":"crossref","unstructured":"P. Zave and M. Jackson. Conjunction as Composition, ACM Trans. on Software Engineering and Methodology, 2(4), October 1993.","DOI":"10.1145\/158431.158438"},{"key":"27_CR29","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.","DOI":"10.1109\/32.538607"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000485","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T02:22:35Z","timestamp":1586485355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000485"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/bfb0000485","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}