{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:32Z","timestamp":1725455852532},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627173"},{"type":"electronic","value":"9783540684909"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027286","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:00:45Z","timestamp":1132383645000},"page":"92-111","source":"Crossref","is-referenced-by-count":2,"title":["A formal OO method inspired by Fusion and Object-Z"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Achatz","sequence":"first","affiliation":[]},{"given":"Wolfram","family":"Schulte","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"7_CR1","unstructured":"G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin\/Cummings, 2nd edition, 1993."},{"key":"7_CR2","unstructured":"G. Booch and J. Rumbaugh. Unified method for object-oriented development, version 0.9. Technical report, Rational Software Corporation, 1996."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"J. P. Bowen and J. A. Hall, editors. Z User Workshop, Cambridge 1994, Workshops in Computing. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-3452-7"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"J. P. Bowen and M. G. Hinchey, editors. ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, volume 967 of Lecture Notes in Computer Science, 1995.","DOI":"10.1007\/3-540-60271-2"},{"key":"7_CR5","unstructured":"J-M. Bruel, B. Chintapally, R. B. France, and G. Raghvan. FuZE-draft of the user's guide. Technical report, Department of Computer Science & Engineering, Florida Atlantic University, 1996."},{"key":"7_CR6","unstructured":"D. Coleman. Fusion with use cases \u2014 extending Fusion for requirements modelling. Internal report, HP Labs, October 1995."},{"key":"7_CR7","unstructured":"D. Coleman, P. Arnold, S. Bodoff, Ch. Dollin, H. Gilchrist, F. Hayes, and P. Jeremes. Object-Oriented Development, The Fusion Method. Prentice-Hall, 1994."},{"key":"7_CR8","unstructured":"S. Cook and J. Daniels. Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice-Hall, 1994."},{"key":"7_CR9","unstructured":"A. Diller. An Introduction to Formal Methods. Wiley, 2nd. edition, 1994."},{"key":"7_CR10","volume-title":"Technical Report 91-1","author":"R. Duke","year":"1991","unstructured":"R. Duke, P. King, G. A. Rose, and G. Smith. The Object-Z specification language: Version 1. Technical Report 91-1, Department of Computer Science, University of Queensland, St. Lucia 4072, Australia, April 1991."},{"key":"7_CR11","unstructured":"R. Duke, G. Rose, and G. Smith. Object-Z: A specification language advocated for the description of standards. Technical Report 94-45, Department of Computer Science, Software Verification Centre, December 1994."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"J. A. R. Hammond. Producing Z specifications from object-oriented analysis. In Bowen and Hall [3], pages 316\u2013336.","DOI":"10.1007\/978-1-4471-3452-7_19"},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"F. Hayes and D. Coleman. Coherent models for object-oriented analysis. In OOPSLA'91, pages 171\u2013183. ACM, ACM Press, 1991.","DOI":"10.1145\/117954.117968"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"K. Lano. Formal Object-Oriented Development. Springer-Verlag, 1995.","DOI":"10.1007\/978-1-4471-3073-4"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"K. Lano and H. Haughton, editors. Object-Oriented Specification Case Studies. Prentice-Hall, 1994.","DOI":"10.1007\/978-1-4471-3240-0_13"},{"key":"7_CR17","unstructured":"R. Malan, R. Letsinger, and D. Coleman. Object-Oriented Development at Work \u2014 Fusion in the Real World. Prentice-Hall, 1995."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"J. E. Nicholls, editor. Z User Workshop, York 1991, Workshops in Computing. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4471-3203-5"},{"issue":"10","key":"7_CR19","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1093\/comjnl\/38.10.777","volume":"38","author":"A. Ruiz-Delgado","year":"1996","unstructured":"A. Ruiz-Delgado, D. Pitt, and C. Smythe. A review of object-oriented approaches in formal methods. The Computer Journal, 38(10):777\u2013784, 1996.","journal-title":"The Computer Journal"},{"key":"7_CR20","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, 1991."},{"key":"7_CR21","unstructured":"B. Selic, G. Gullekson, and P. T. Ward. Real-time Object-Oriented Modeling. Wiley, 1994."},{"key":"7_CR22","volume-title":"Technical Report 94-48","author":"G. Smith","year":"1994","unstructured":"G. Smith. A logic for Object-Z. Technical Report 94-48, Department of Computer Science, University of Queensland, St. Lucia 4072, Australia, December 1994."},{"key":"7_CR23","unstructured":"J. M. Spivey. The Z Notation, A Reference Manual. Prentice-Hall, 2nd edition, 1992."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"J. C. P. Woodcock and S. M. Brien. W: A logic for Z. In Nicholls [18], pages 77\u201396.","DOI":"10.1007\/978-1-4471-3203-5_4"},{"key":"7_CR25","unstructured":"J. B. Wordsworth. Software Development with Z: A Practical Approach to Formal Methods in Software Engineering. Addison-Wesley, 1993."}],"container-title":["Lecture Notes in Computer Science","ZUM '97: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027286","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:32:00Z","timestamp":1586568720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027286"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627173","9783540684909"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0027286","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}