{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:50:34Z","timestamp":1725987034577},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61292-0_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:25:49Z","timestamp":1330273549000},"page":"222-233","source":"Crossref","is-referenced-by-count":6,"title":["Guidelines for formalizing Fusion object-oriented analysis models"],"prefix":"10.1007","author":[{"given":"B. W.","family":"Bates","sequence":"first","affiliation":[]},{"given":"J. -M.","family":"Bruel","sequence":"additional","affiliation":[]},{"given":"R. B.","family":"France","sequence":"additional","affiliation":[]},{"given":"M. M.","family":"Larrondo-Petrie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"13_CR1","volume-title":"FAU Technical Report TR-CSE-95-44","author":"B. W. Bates","year":"1995","unstructured":"Brian W. Bates, Jean-Michel Bruel, Robert B. France, and Maria M. Larrondo-Petrie. Experiences with Formalizing Fusion Object-Oriented Analysis Models. FAU Technical Report TR-CSE-95-44, Department of Computer Science & Engineering, Florida Atlantic University, Boca Raton, FL-33431, USA, November 1995."},{"key":"13_CR2","unstructured":"G. Booch. Object-oriented analysis and design with applications. Benjamin\/Cummings, 1994."},{"issue":"10","key":"13_CR3","doi-asserted-by":"crossref","first-page":"799","DOI":"10.1109\/32.469459","volume":"21","author":"R. H. Bourdeau","year":"1995","unstructured":"Robert H. Bourdeau and Betty H.C. Cheng. A formal semantics for object model diagrams. IEEE Transactions on Software Engineering, 21(10):799\u2013821, October 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR4","unstructured":"D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice Hall, 1994."},{"key":"13_CR5","unstructured":"T. DeMarco. Structured Analysis and System Specification. Prentice-Hall, 1978."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"R. France and M. M. Larrondo-Petrie. A two-dimensional view of integrated formal and informal specification techniques. In ZUM'95, Lecture Notes in Computer Science 967. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60271-2_135"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"R. France and M. M. Larrondo-Petrie. Understanding the role of formal specification techniques in requirements engineering. In in Proceedings of The 8th SEI Conference on Software Engineering Education, Lecture Notes in Computer Science 895. Springer-Verlag, 1995, pages 207\u2013222.","DOI":"10.1007\/3-540-58951-1_105"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"R. B. France and M. M. Larrondo-Petrie. From structured analysis to formal specifications: State of the theory. In Proceedings of the 1994 ACM Computer Science Conference. ACM, 1994.","DOI":"10.1145\/197530.197634"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"J. A. Hall. Using Z as a specification calculus for object-oriented systems. In D. Bj\u00f8rner, C. A. R. Hoare, and H. Langmaack, editors, VDM and Z \u2014 Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science, pages 290\u2013318. VDM-Europe, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52513-0_16"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"T. C. Hartrum and P. D. Bailor. Teaching formal extensions of informal-based object-oriented analysis methodologies. In Proc. Computer Science Education, pages 389\u2013409, 1994.","DOI":"10.1007\/BFb0017629"},{"key":"13_CR11","unstructured":"I. J. Hayes, editor. Specification Case Studies. Prentice Hall International Series in Computer Science, 2nd edition, 1993."},{"key":"13_CR12","unstructured":"I. Jacobson. Object oriented software engineering. Addison-Wesley, 1992."},{"issue":"1","key":"13_CR13","first-page":"10","volume":"1","author":"R. B. Jones","year":"1992","unstructured":"R. B. Jones. ICL ProofPower. BCS FACS FACTS, Series III, 1(1):10\u201313, Winter 1992.","journal-title":"BCS FACS FACTS, Series III"},{"issue":"5","key":"13_CR14","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0950-5849(95)99364-S","volume":"37","author":"K. C. Mander","year":"1995","unstructured":"K. C. Mander and F. Polack. Rigorous specification using structured systems analysis and Z. Information and Software Technology, 37(5):285\u2013291, May 1995.","journal-title":"Information and Software Technology"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"S. L. Meira and A. L. C. Cavalcanti. Modular object-oriented Z specifications. In Nicholls [17], pages 173\u2013192.","DOI":"10.1007\/978-1-4471-3540-1_12"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"John Murphy and Jane Grimson. The Jupiter System: A Prototype for Multidatabase Interoperability. In Proceedings of the 12th British National Conference on Databases, BNCOD-12, Lecture Notes in Computer Science. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58235-5_44"},{"key":"13_CR17","unstructured":"J. E. Nicholls, editor. Workshops in Computing. Springer-Verlag, 1991."},{"key":"13_CR18","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"S. A. Schuman, D. H. Pitt, and P. J. Byers. Object-oriented process specification. In C. Rattray, editor, Specification and Verification of Concurrent Systems, Workshops in Computing, pages 21\u201370. Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4471-3534-0_2"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Lesley T. Semmens and Pat M. Allen. Using Yourdon and Z: An approach to formal specification. In Nicholls [17], pages 228\u2013253.","DOI":"10.1007\/978-1-4471-3540-1_15"},{"key":"13_CR21","unstructured":"S. Shlaer and S. J. Mellor. Object lifecycles: Modeling the world in states. Prentice Hall, 1992."},{"key":"13_CR22","volume-title":"PhD thesis","author":"G. Smith","year":"1992","unstructured":"Graeme Smith. An Object-Oriented Approach to Formal Specification. PhD thesis, Department of Computer Science, University of Queensland, St. Lucia 4072, Australia, October 1992."},{"key":"13_CR23","volume-title":"The f uzz Manual","author":"J. M. Spivey","year":"1992","unstructured":"J. M. Spivey. The f uzz Manual. Computing Science Consultancy, 34 Westlands Grove, Stockton Lane, York YO3 0EF, UK, 2nd edition, July 1992.","edition":"2nd edition"},{"key":"13_CR24","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992."},{"key":"13_CR25","volume-title":"CADiZ Quick Reference Guide","author":"I. Toyn","year":"1990","unstructured":"I. Toyn. CADiZ Quick Reference Guide. York Software Engineering Ltd, University of York, York YO1 5DD, UK, 1990."},{"key":"13_CR26","unstructured":"R. Wirfs-Brock and B. Wilkerson. Designing object oriented software. Prentice-Hall, 1990."},{"key":"13_CR27","volume-title":"ZTC: A Type Checker for Z \u2014 User's Guide","author":"X. Jia","year":"1994","unstructured":"Xiaoping Jia. ZTC: A Type Checker for Z \u2014 User's Guide. Institute for Software Engineering, Department of Computer Science and Information Systems, DePaul University, Chicago, IL 60604, USA, 1994."},{"key":"13_CR28","unstructured":"E. Yourdon. Modern Systems Analysis. Prentice-Hall, 1989."},{"key":"13_CR29","unstructured":"E. Yourdon and L. Constantine. Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design. Prentice-Hall, 1979."}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61292-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T09:52:08Z","timestamp":1561369928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61292-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783319981765","9783319981772"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-61292-0_13","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1996]]}}}