{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:25:19Z","timestamp":1747578319532},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602712"},{"type":"electronic","value":"9783540447825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60271-2_110","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:04:16Z","timestamp":1330279456000},"page":"5-24","source":"Crossref","is-referenced-by-count":2,"title":["A formal approach to software design: The Clepsydra methodology"],"prefix":"10.1007","author":[{"given":"P.","family":"Ciaccia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Ciancarini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Penzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"2_CR1","unstructured":"J. Bowen and M. Gordon. Z and HOL. 1994. URL ftp:\/\/ftp.cl.cam.ac.uk\/hvg\/papers\/zhol.ps.gz."},{"key":"2_CR2","unstructured":"P. Ciaccia and P. Ciancarini. A Course on Formal Methods in Software Engineering. In A. Finkelstein and B. Nuseibeh, editors, Proceedings ACM\/IEEE International Workshop on Software Engineeering Education, pages 97\u2013110, Sorrento, Italy, 1994."},{"key":"2_CR3","unstructured":"A. Diller. Z: An Introduction to Formal Methods. Wiley, 1990."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"D. Evans. LCLint User's Guide. MIT\/LCS Distribution Site, February 1994.","DOI":"10.1145\/193173.195297"},{"key":"2_CR5","first-page":"137","volume-title":"LNCS","author":"S. Garland","year":"1989","unstructured":"S. Garland and J. Guttag. An Overview of LP, the Larch Prover. In Proc. 3rd Int. Conf. on Rewriting Techniques and Applications, volume 355 of LNCS, pages 137\u2013151. Springer-Verlag, Berlin, 1989."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"J. Guttag and J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"2_CR7","unstructured":"I. Hayes. Specification Case Studies. Prentice Hall, 2 edition, 1993."},{"key":"2_CR8","volume-title":"B.Sc. Project Report","author":"M. Hewitt","year":"1991","unstructured":"M. Hewitt. Automated Animation of Z Using Prolog. B.Sc. Project Report, Department of Computing, Lancaster University, UK, August 1991."},{"key":"2_CR9","first-page":"vii","volume-title":"Proc. VDM 90: Formal Methods in Software Development, volume 428","author":"C. Hoare","year":"1990","unstructured":"C. Hoare. Preface. In D. Bjorner, C. Hoare, and H. Langmaack, editors, Proc. VDM 90: Formal Methods in Software Development, volume 428, pages vii\u2013x, Kiel, Germany, 1990. Springer-Verlag, Berlin."},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/3-540-54834-3_48","volume-title":"VDM 91: Formal Software Development Methods, volume 551","author":"D. Jordan","year":"1991","unstructured":"D. Jordan. CADiZ \u2014 Computer Aided Design in Z. In S. Prehn and W. Toetenel, editors, VDM 91: Formal Software Development Methods, volume 551, pages 685\u2013690. Springer-Verlag, Berlin, October 1991."},{"issue":"1","key":"2_CR11","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/TSE.1985.231535","volume":"11","author":"R. Kemmerer","year":"1985","unstructured":"R. Kemmerer. Testing Formal Specifications to Detect Design Errors. IEEE Transactions on Software Engineering, 11(1):32\u201343, January 1985.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"S. King. Z and the Refinement Calculus. In D. Bjorner, C. Hoare, and H. Langmaack, editors, VDM and Z-FORMAL METHODS, volume 428 of LNCS, pages 164\u2013188. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52513-0_10"},{"key":"2_CR13","volume-title":"Abstraction and Specification in Program Development","author":"B. Liskov","year":"1986","unstructured":"B. Liskov and J. Guttag. Abstraction and Specification in Program Development. MIT Press, Cambridge, 1986."},{"key":"2_CR14","unstructured":"J. Spivey. The Fuzz Manual. 1988."},{"key":"2_CR15","unstructured":"J. Spivey. The Z Notation. A Reference Manual. Prentice Hall, 2 edition, 1992."},{"key":"2_CR16","unstructured":"S. Stepney, R. Barden, and D. Cooper. Object-Orientation in Z. Springer Verlag, 1990."},{"issue":"1","key":"2_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/9758.10500","volume":"9","author":"J. Wing","year":"1987","unstructured":"J. Wing. Writing Larch Interface Language Specifications. ACM Transactions on Programming Languages and Systems, 9(1):1\u201324, January 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","ZUM '95: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60271-2_110.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:07Z","timestamp":1605646627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60271-2_110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602712","9783540447825"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-60271-2_110","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}