{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:54:53Z","timestamp":1725605693116},"publisher-location":"London","reference-count":10,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852334208"},{"type":"electronic","value":"9781447102991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-1-4471-0299-1_23","type":"book-chapter","created":{"date-parts":[[2011,9,10]],"date-time":"2011-09-10T07:35:51Z","timestamp":1315640151000},"page":"280-289","source":"Crossref","is-referenced-by-count":0,"title":["UML2Z: An UML-Based Modeling Tool for an Internet Integrated Formalization Process"],"prefix":"10.1007","author":[{"given":"Emanuel","family":"Grant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert B.","family":"France","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramchander","family":"Varadarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Carheden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Michel","family":"Bruel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","volume-title":"Towards Rigorous Analysis of Fusion Models: The MIRG Experience","author":"R France","year":"1997","unstructured":"R. France, J-M. Bruel, G. Raghavan. Towards Rigorous Analysis of Fusion Models: The MIRG Experience. Proceedings of the 2nd Northern Formal Methods Workshop. Springer-Verlag. 1997"},{"key":"23_CR2","unstructured":"A. Evans, R. France, E. Grant. Towards Formal Reasoning with UML Models. Proceedings of the 8th OOPSLA Workshop on Behavioral Semantics, 1999"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"R. France, J-M. Bruel, M. Larrondo-Petrie, E. Grant. Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations. Proceedings of the 6th AMAST Conference, 1997.","DOI":"10.1007\/BFb0000473"},{"key":"23_CR4","series-title":"Technical report","volume-title":"UMLtranZ: An UML-based Rigorous Requirements Modeling Technique","author":"R France","year":"2000","unstructured":"R. France, E. Grant, J-M. Bruel. UMLtranZ: An UML-based Rigorous Requirements Modeling Technique. Technical report, Colorado State University, Colorado, USA. January 2000."},{"key":"23_CR5","volume-title":"An Approach to Animating Z Specifications","author":"X Jai","year":"1995","unstructured":"X. Jai. An Approach to Animating Z Specifications. DePaul University, Illinois, USA. 1995."},{"key":"23_CR6","volume-title":"ZTC: A Z Type Checker, User\u2019s Guide, version 2.01","author":"X Jai","year":"1995","unstructured":"X. Jai. ZTC: A Z Type Checker, User\u2019s Guide, version 2.01. DePaul University, Illinois, USA. 1995."},{"key":"23_CR7","volume-title":"LATEA A Document Preparation System","author":"L Lamport","year":"1994","unstructured":"L. Lamport. L\n                \n                  A\n                \n                T\n                \n                  E\n                \n                X\n                A Document Preparation System. Addison-Wesley Publishing Co., second edition. 1994."},{"volume-title":"HTML: The Definitive Guide","year":"1998\/","key":"23_CR8","unstructured":"M. Loukides, C. Musciano, B. Kennedy (Editors). HTML: The Definitive Guide. O\u2019Reilly and Associates, 1998."},{"volume-title":"XML and Java: Developing Web Applications","year":"1999","key":"23_CR9","unstructured":"H. Maruyama, K. Tamura, N. Uramoto (editors). XML and Java: Developing Web Applications.. Addison-Wesley Publishing Co. 1999"},{"key":"23_CR10","volume-title":"Unified Modeling Language Specification, version 1.4alpha","author":"Object Management Group (OMG)","year":"2000","unstructured":"Object Management Group (OMG). Unified Modeling Language Specification, version 1.4alpha. Massachusetts, USA. 2000."}],"container-title":["OOIS 2000"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0299-1_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T06:38:14Z","timestamp":1554273494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0299-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9781852334208","9781447102991"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0299-1_23","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}