{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:39Z","timestamp":1725453999001},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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\/bfb0000473","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"216-230","source":"Crossref","is-referenced-by-count":3,"title":["Rigorous object-oriented modeling: Integrating formal and informal notations"],"prefix":"10.1007","author":[{"given":"R. B.","family":"France","sequence":"first","affiliation":[]},{"given":"J. -M.","family":"Bruel","sequence":"additional","affiliation":[]},{"given":"M. M.","family":"Larrondo-Petrie","sequence":"additional","affiliation":[]},{"given":"E.","family":"Grant","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"15_CR1","volume-title":"Formalizing Fusion Object-Oriented Analysis Models","author":"B. W. Bates","year":"1996","unstructured":"Brian W. Bates, Jean-Michel Bruel, Robert B. France, and Maria M. Larrondo-Petrie. Formalizing Fusion Object-Oriented Analysis Models. In Elie Najm and Jean-Bernard Stephani, editors, Proceedings of the First IFIP International Workshop on Formal Methods for Open Object-based Distributed Systems, Paris, France. Chapman & Hall, London, UK, 4\u20136 March 1996."},{"key":"15_CR2","volume-title":"Object-Oriented Analysis and Design with Applications","author":"G. Booch","year":"1994","unstructured":"Grady Booch. Object-Oriented Analysis and Design with Applications. Benjamin\/Cummings, Menlo Park, CA, Second edition, 1994.","edition":"Second edition"},{"key":"15_CR3","volume-title":"Technical Monograph PRG-107","author":"S. M. Brien","year":"1992","unstructured":"Stephen M. Brien and John E. Nicholls. Z base standard. Technical Monograph PRG-107, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, UK, November 1992."},{"key":"15_CR4","unstructured":"Jean-Michel Bruel, Robert B. France, Bharat Chintapally, and Gopal K. Raghavan. A Tool for Rigorous Analysis of Object Models. In Proceedings of the 20\n\n                  th\n                \nInternational Conference on Technology of Object-Oriented Languages and Systems (TOOLS'96), Santa Barbara, California, July 29\u2013August 2 1996."},{"key":"15_CR5","unstructured":"Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie, Bharat Chintapally, and Gopal K. Raghavan. CASE-based Rigorous Object-Oriented Modeling. In Proceedings of the Northern Formal Methods Workshop, Bradford, UK, 23\u201324 September 1996."},{"key":"15_CR6","volume-title":"Object-Oriented Development: The Fusion Method","author":"D. Coleman","year":"1994","unstructured":"Derek Coleman, Patrick Arnold, Stephanie Bodoff, Chris Dollin, Helena Gilchrist, Fiona Hayes, and Paul Jeremaes. Object-Oriented Development: The Fusion Method. Prentice Hall, Englewood Cliffs, NJ, Object-Oriented Series edition, 1994.","edition":"Object-Oriented"},{"key":"15_CR7","unstructured":"Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, and Mark Saaltink. EVES: An Overview. In S. Prehn and W. J. Toetenel, editors, VDM'91: Formal Software Development Methods, volume 551 of Lecture Notes in Computer Science, pages 389\u2013405. Springer-Verlag, 1991. Volume 1: Conference Contributions."},{"key":"15_CR8","unstructured":"Robert B. France and Jean-Michel Bruel. The Role of Integrated Specification Techniques in Complex System Modeling and Analysis. In Proceedings of the Workshop on Real-Time Systems Education (RTSE'96), Daytona Beach, Florida, 20 April 1996."},{"key":"15_CR9","volume-title":"Z User Workshop, Cambridge 1994","author":"J. Anthony Hall","year":"1994","unstructured":"J. Anthony Hall. Specifying and Interpreting Class Hierarchies in Z. In Bowen and Hall editors Z User Workshop, Cambridge 1994, Workshops in Computing. Springer-Verlag, New York, 1994."},{"key":"15_CR10","unstructured":"I. Jacobson. Object oriented software engineering. Addison-Wesley, 1992."},{"key":"15_CR11","volume-title":"An Approach to Animating Z Specifications","author":"X. Jia","year":"1995","unstructured":"Xiaoping Jia. An Approach to Animating Z Specifications. Division of Software Engineering, School of Computer Science, Telecommunication, and Information Systems, DePaul University, Chicago, IL, USA, 1995."},{"key":"15_CR12","volume-title":"ZTC: A Z Type Checker, User's Guide, version 2.01","author":"X. Jia","year":"1995","unstructured":"Xiaoping Jia. ZTC: A Z Type Checker, User's Guide, version 2.01. Division of Software Engineering, School of Computer Science, Telecommunication, and Information Systems, DePaul University, Chicago, IL, USA, May 1995. Available via anonymous ftp at ise.cs.depaul.edu."},{"key":"15_CR13","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991."},{"key":"15_CR14","volume-title":"The Z Notation: A Reference Manual","author":"J. M. Spivey","year":"1992","unstructured":"J. Michael Spivey. The Z Notation: A Reference Manual. Prentice Hall, Englewood Cliffs, NJ, Second edition, 1992.","edition":"Second edition"},{"key":"15_CR15","unstructured":"R. Wirfs-Brock and B. Wilkerson. Designing object oriented software. Prentice-Hall, 1990."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000473","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,8]],"date-time":"2018-10-08T21:01:11Z","timestamp":1539032471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000473"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0000473","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}