{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:32Z","timestamp":1725664892904},"publisher-location":"Berlin, Heidelberg","reference-count":33,"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_138","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:05:03Z","timestamp":1330279503000},"page":"482-496","source":"Crossref","is-referenced-by-count":1,"title":["A course on formal methods in software engineering: Matching requirements with design"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Ciancarini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Ciaccia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"5","key":"30_CR1","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/167049.167055","volume":"18","author":"Gregory Abowd","year":"1993","unstructured":"G. Abowd, R. Allen, and D. Garlan. Using Style to Understand Descriptions of Software Architecture. In D.Notkin, editor, Proc. ACM SIGSOFT 1st Conf. on Fundamentals of Software Engineering, volume 18:5 of ACM SIGSOFT Software Engineering Notes, 1993.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"D. Berry. Academic legitimacy of the software engineering discipline. Technical Report CMU-SEI-92-34, Software Engineering Institute, Carnegie Mellon Univ., 1992.","DOI":"10.21236\/ADA260241"},{"issue":"5","key":"30_CR3","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/2.59","volume":"21","author":"B. Boehm","year":"1988","unstructured":"B. Boehm. A spiral model of software development and enhancement. IEEE Computer, 21(5):61\u201372, May 1988.","journal-title":"IEEE Computer"},{"issue":"2","key":"30_CR4","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1109\/TSE.1986.6312937","volume":"12","author":"G. Booch","year":"1986","unstructured":"G. Booch. Object-oriented development. IEEE Transactions on Software Engineering, 12(2):211\u2013220, Feb. 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"30_CR5","volume-title":"Technical Report PRG-74","author":"J. Bowen","year":"1989","unstructured":"J. Bowen. Formal Specification of Window Systems. Technical Report PRG-74, Oxford University Computing Laboratory, England, June 1989."},{"key":"30_CR6","unstructured":"B. Chen, W. Harwood, and M. Jackson. The Specification of Complex Systems Addison Wesley, 1986."},{"key":"30_CR7","volume-title":"A Formal Approach to Software Design: The Clepsydra Methodology","author":"P. Ciaccia","year":"1995","unstructured":"P. Ciaccia, P. Ciancarini, and W. Penzo. A Formal Approach to Software Design: The Clepsydra Methodology. In Proc. 9th Annual Z Users Meeting, Workshops in Computing, Limerick, Ireland, 1995 (to appear). Springer-Verlag, Berlin."},{"key":"30_CR8","unstructured":"P. Ciancarini. Artificial Chess Players (in Italian). Mursia, 1992."},{"key":"30_CR9","unstructured":"P. Coad and E. Yourdon. Object-Oriented Design. Yourdon Press, 1991."},{"issue":"9","key":"30_CR10","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/130994.130998","volume":"35","author":"B. Curtis","year":"1992","unstructured":"B. Curtis, M. Kellner, and J. Over. Process Modeling. Communications of the ACM, 35(9):75\u201390, September 1992.","journal-title":"Communications of the ACM"},{"key":"30_CR11","unstructured":"A. Diller. Z: An Introduction to Formal Methods. Wiley, 1990."},{"issue":"5","key":"30_CR12","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1093\/comjnl\/35.5.460","volume":"35","author":"H. Ehrig","year":"1992","unstructured":"H. Ehrig, B. Mahr, I. Classen, and F. Orejas. Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. The Computer Journal, 35(5):460\u2013467, 1992.","journal-title":"The Computer Journal"},{"issue":"5","key":"30_CR13","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1093\/comjnl\/35.5.468","volume":"35","author":"H. Ehrig","year":"1992","unstructured":"H. Ehrig, B. Mahr, and F. Orejas. Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. The Computer Journal, 35(5):468\u2013477, 1992.","journal-title":"The Computer Journal"},{"key":"30_CR14","first-page":"131","volume-title":"volume 640 of Lecture Notes in Computer Science","author":"D. Garlan","year":"1992","unstructured":"D. Garlan. Formal Methods for Software Engineers: Tradeoff in Curriculum Design. In C. Sledge, editor, Software Engineering Education, Proc. SEI Conference, volume 640 of Lecture Notes in Computer Science, pages 131\u2013142, SanDiego, CA, October 1992. Springer-Verlag, Berlin."},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"D. Garlan and M. Shaw. An Introduction to Software Architecture. In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge Engineering, pages 1\u201340. World Scientific Publishing Co., 1992.","DOI":"10.1142\/9789812798039_0001"},{"key":"30_CR16","first-page":"23","volume-title":"volume 640 of Lecture Notes in Computer Science","author":"D. Garlan","year":"1992","unstructured":"D. Garlan, M. Shaw, C. Okasaki, C. Scott, and R. Swonger. Experience with a course on architectures for software systems. In Proc. Conf. on Software Engineering Education, volume 640 of Lecture Notes in Computer Science, pages 23\u201343. Springer-Verlag, Berlin, 1992."},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"S. Garland and J. Guttag. An overview of LP, the Larch Prover. In B. Springer-Verlag, editor, Proc. 3rd Int. Conf. on Rewriting Techniques and Applications, volume 355 of Lecture Notes in Computer Science, pages 137\u2013151, 1989.","DOI":"10.1007\/3-540-51081-8_105"},{"key":"30_CR18","unstructured":"C. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice Hall, 1991."},{"issue":"9","key":"30_CR19","doi-asserted-by":"crossref","first-page":"1044","DOI":"10.1109\/32.58789","volume":"16","author":"J. Guttag","year":"1990","unstructured":"J. Guttag, S. Garland, and J. Horning. Debugging Larch Shared Language Specifications. IEEE Transactions on Software Engineering, 16(9):1044\u20131075, September 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"30_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: Languages and Tools for Formal Specification","author":"J. Guttag","year":"1993","unstructured":"J. Guttag and J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, Berlin, 1993."},{"issue":"1","key":"30_CR21","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"},{"issue":"2","key":"30_CR22","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/75577.75581","volume":"33","author":"A. Kierulf","year":"1990","unstructured":"A. Kierulf, K. Chen, and J. Nievergelt. Smart game board and go explorer: A study in software and knowledge engineering. Communications of the ACM, 33(2):152\u2013166, February 1990.","journal-title":"Communications of the ACM"},{"key":"30_CR23","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice Hall, 1988."},{"issue":"3","key":"30_CR24","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1109\/32.75417","volume":"17","author":"D. Perry","year":"1991","unstructured":"D. Perry and G. Kaiser. Models of Software Development Environments. IEEE Transactions on Software Engineering, 17(3):283\u2013295, 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"30_CR25","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D. Perry","year":"1992","unstructured":"D. Perry and A. Wolf. Foundations for the Study of Software Architecture. ACM SIGSOFT Software Engineering Notes, 17(4):40\u201352, October 1992.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"30_CR26","unstructured":"I. Sommerville. Software Engineering. Addison Wesley, 4 edition, 1991."},{"key":"30_CR27","unstructured":"J. Spivey. The Z Notation. A Reference Manual. Prentice Hall, 2 edition, 1992."},{"issue":"1","key":"30_CR28","first-page":"85","volume":"13","author":"P. Tutelaers","year":"1992","unstructured":"P. Tutelaers. A Font and a style for Typesetting Chess using LaTeX or TeX. TU Gboat, 13(1):85\u201390, 1992.","journal-title":"TU Gboat"},{"issue":"4","key":"30_CR29","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/52.17803","volume":"5","author":"J. Wing","year":"1988","unstructured":"J. Wing. A Study of 12 Specifications of the Library Problem. IEEE Software, 5(4):66\u201376, July 1988.","journal-title":"IEEE Software"},{"issue":"9","key":"30_CR30","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.58215","volume":"23","author":"J. Wing","year":"1990","unstructured":"J. Wing. A Specifier's Introduction to Formal Methods. IEEE Computer, 23(9):8\u201324, September 1990.","journal-title":"IEEE Computer"},{"key":"30_CR31","first-page":"120","volume-title":"A Formal Specification of a Visual Language Editor","author":"J. Wing","year":"1991","unstructured":"J. Wing and A. Zaremski. A Formal Specification of a Visual Language Editor. In C. Ghezzi and G. Roman, editors, Proc. 6th IEEE Int. Workshop on Software Specification and Design, pages 120\u2013129, Como, Italy, October 1991. IEEE Computer Society Press."},{"key":"30_CR32","unstructured":"E. Yourdon and L. C. Constantine. Structured Design. Yourdon Press, 1979."},{"key":"30_CR33","unstructured":"A. Zaremski. A Larch Specification of the Mir\u00f3 Editor. Technical Report CMU-CS-91-111, Carnegie Mellon Univerity, February 1991."}],"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_138.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:13Z","timestamp":1605646633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60271-2_138"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602712","9783540447825"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-60271-2_138","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}