{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T09:46:11Z","timestamp":1773308771569,"version":"3.50.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319981765","type":"print"},{"value":"9783319981772","type":"electronic"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/3-540-45140-4_28","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T19:17:09Z","timestamp":1185909429000},"page":"417-430","source":"Crossref","is-referenced-by-count":41,"title":["An Overview of RoZ : A Tool for Integrating UML and Z Specifications"],"prefix":"10.1007","author":[{"given":"Sophie","family":"Dupuy","sequence":"first","affiliation":[]},{"given":"Yves","family":"Ledru","sequence":"additional","affiliation":[]},{"given":"Monique","family":"Chabre-Peccoud","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"J. Brunet. An enhanced definition of composition and its use for abstraction. The 5th international conference on Object Oriented Information Systems, Paris, September 1998.","DOI":"10.1007\/978-1-4471-0895-5_18"},{"key":"28_CR2","unstructured":"Rational Software Corporation. UNIFIED MODELING LANGUAGE \u2014 notation guide version 1.1. September 1997."},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Y. Ou. On Using UML Class Diagram for Object-Oriented Database Design \u2014 Specification of Integrity Constraints. Proc \u201cUML\u201d\u2019 98 Beyong the Notation, Mulhouse, France, June 1998.","DOI":"10.1007\/978-3-540-48480-6_14"},{"key":"28_CR4","unstructured":"J. Warmer and A. Kleppe. The Object Constraints Language. Addison-Wesley, 1998."},{"key":"28_CR5","unstructured":"J.M. Spivey. The Z notation \u2014 a reference manual (second edition). Prentice-Hall International, 1992."},{"key":"28_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/BFb0027284","volume-title":"Proc. 10th Int. Conf. On the Z formal method (ZUM)","author":"M. Saaltink","year":"1997","unstructured":"M. Saaltink. The Z\/EVES system. In j. Bowen, M. Hinchey and D. Till editors, Proc. 10th Int. Conf. On the Z formal method (ZUM), volume 1212 of Lecture Notes in Computer Science, pages 72\u201388, Reading, UK, April 1997."},{"key":"28_CR7","unstructured":"Rational Software Corporation. Rational Rose \u2014 Using Rational Rose 4.0. 1996."},{"key":"28_CR8","unstructured":"Rational Software Corporation. Rational Rose \u2014 Using Rational Rose 98. 1998."},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"R. France and JM. Bruel and M. Larrondo-Petrie and M. Shroff. Exploring the Semantics of UML type structures with Z. Proc. 2nd IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 1997.","DOI":"10.1007\/978-0-387-35261-9_17"},{"key":"28_CR10","unstructured":"M. Shroff and R.B. France. Towards a Formalization of UML class structures in Z. COMPSAC\u201997, 1997."},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"K. Lano, H. Houghton, P. Wheeler. Integrating Formal and Structured Methods in Object-Oriented System Development. In Formal Methods and Object technology, Chapter 7, Springer, 1996.","DOI":"10.1007\/978-1-4471-3073-4"},{"key":"28_CR12","volume-title":"Proc of the Method Integration Workshop","author":"P. Facon","year":"1996","unstructured":"P. Facon, R. Laleau Laleau and H.P. Nguyen. Mapping Object Diagrams into B Specifications. Proc of the Method Integration Workshop, Springer-Verlag, Leeds, March 1996."},{"key":"28_CR13","unstructured":"S. Dupuy, Y. Ledru and M. Chabre-Peccoud. Vers une int\u00e9gration utile de notations semiformelles et formelles: un exp\u00e9rience en UML et Z. revue l\u2019Objet, num\u00e9ro sp\u00e9cial sur les m\u00e9thodes formelles pour les syst\u00e8mes \u00e0 objets, 2000, to appear."},{"key":"28_CR14","unstructured":"S. Dupuy. RoZ version 0.3 an environment for the integration of UML and Z. technical report Laboratoire LSR-IMAG, 1999. http:\/\/www-lsr.imag.fr\/Les.Groupes\/PFL\/RoZ\/index.html"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Y. Ledru. Identifying pre-conditions with the Z\/EVES theorem prover. Proc Int. IEEE Conference on Automated Software Engineering\u201998, IEEE Computer Society Press, October 1998.","DOI":"10.1109\/ASE.1998.732566"},{"key":"28_CR16","unstructured":"Y. Ledru. Complementing semi-formal specifications with Z. KBSE\u201996, IEEE Computer Society Press, 1996."},{"key":"28_CR17","unstructured":"N. Hadj-Rabia and H. Habrias. Formal specification from NIAM model: a Bottom-Up Approach. ISCIS XI (11th int. Symposium on Computer and Information Sciences), Antalya, Turkey, November 1996."},{"key":"28_CR18","unstructured":"H.P. Nguyen. D\u00e9rivation de Sp\u00e9cifications Formelles B \u00e0 Partir de Sp\u00e9cifications Semi-Formelles. PhD thesis, CNAM, December 1998."},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"B. Nuseibeh and A. Finkelstein. ViewPoints: a vehicle for method and tool integration. IEEE Proc. Of the 5th Int. Workshop on CASE (CASE\u201992), p50\u201360, Montreal, Canada, July 1992.","DOI":"10.1109\/CASE.1992.200130"},{"key":"28_CR20","unstructured":"R. Laleau, N. Nadj-Rabia. G\u00e9n\u00e9ration automatique de sp\u00e9cifications VDM \u00e0 partir d\u2019un sch\u00e9ma conceptuel de donn\u00e9es. Dans Actes du 13\u00e8me congr\u00e8s INFORSID, Grenoble, France, June 1995."},{"key":"28_CR21","volume-title":"A CASE Tool for modeling of methods and information systems. OOIS\u201998, Int. Conference on Object-Oriented Information Systems","author":"J.C. F. Junior","year":"1998","unstructured":"J.C. Freire Junior, M. Chabre-Peccoud, A. Front and J.-P. Giraudin. A CASE Tool for modeling of methods and information systems. OOIS\u201998, Int. Conference on Object-Oriented Information Systems, Springer, Paris, France, September 1998."},{"key":"28_CR22","unstructured":"IFAD. the Rose-VDM++ Link. http:\/\/www.ifad.dk\/Products\/rose-vdmpp.htm"},{"key":"28_CR23","unstructured":"Headway Software. RoZeLink 1.0. http:\/\/www.calgary.shaw.wave.ca.\/headway\/index.htm"},{"key":"28_CR24","doi-asserted-by":"crossref","unstructured":"R.B. France, J.-M. Bruel, M.M. Larrondo-Petrie. An Integrated Object-Oriented and Formal Modeling Environment. Journal of Object Oriented Programming, November\/December 1997.","DOI":"10.1007\/3-540-69687-3_37"},{"key":"28_CR25","doi-asserted-by":"crossref","unstructured":"P. Caspi, N. Halbwachs, D. Pilaud and J. Plaice. LUSTRE, a declarative language for programming synchronous systems. In 14th Symposium on Principles of Programming Languages (POPL\u201987), ACM, p 178\u2013188, Munich, 1987.","DOI":"10.1145\/41625.41641"},{"key":"28_CR26","unstructured":"G. Booch, I. Jacobson and J. Rumbaugh. The Unified Modeling Language-User Guide. Addison-Wesley, 1998."}],"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-45140-4_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,20]],"date-time":"2021-08-20T18:05:46Z","timestamp":1629482746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45140-4_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783319981765","9783319981772"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45140-4_28","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"value":"1612-2909","type":"print"},{"value":"1860-0824","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}