{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:47:27Z","timestamp":1725986847555},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[[1997]]},"DOI":"10.1007\/3-540-63107-0_11","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T15:22:48Z","timestamp":1270480968000},"page":"145-158","source":"Crossref","is-referenced-by-count":18,"title":["OO-Method: An OO software production environment combining conventional and formal methods"],"prefix":"10.1007","author":[{"given":"Oscar","family":"Pastor","sequence":"first","affiliation":[]},{"given":"Emilio","family":"Insfr\u00e1n","sequence":"additional","affiliation":[]},{"given":"Vicente","family":"Pelechano","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Romero","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Merseguer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,8,15]]},"reference":[{"key":"11_CR1","unstructured":"Booch, G. OO Analysis and Design with Applications. Addison-Wesley, 1994."},{"key":"11_CR2","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I. Unified Modeling Language. Version 0.91. Rational Software Corporation."},{"key":"11_CR3","unstructured":"Can\u00f3s, J.H.; Penad\u00e9s, M.C. Ramos, I. A Knowledge-Based Arquitecture for Object Societies. Proc. of DEXA-95 (Workshop), pags: 18\u201325, London, 1995"},{"key":"11_CR4","unstructured":"Coleman, D.; Arnold, P.; Bodoff, S.; Dollin, S.; Gilchrist, H.; Hayes, F.; Jeremes, P. Object-Oriented Development; The Fusion Method. Prentice-Hall 1994"},{"key":"11_CR5","unstructured":"Dubois, E.; Du Bois, Ph.; Petit, M.; Wu, S. ALBERT:A Formal Agent-Oriented Requirements Language for Distributed Composite Systems. In Proc. CAiSE'94 Workshop on Formal Methods for Information System Dynamics, pags: 25\u201339, University of Twente, Technical Report 1994."},{"key":"11_CR6","unstructured":"ESDI S.A., Lisboa. OBLOG CASE V1.O-User's Guide"},{"key":"11_CR7","unstructured":"Hartmann T., Saake, G., Jungclaus, R., Hartel, P., Kusch, J. Revised Version of the Modeling Language Troll (Troll version 2.0). Technische Universitat Braunschweig, Informatik-Berichte, 94-03 April 1994."},{"key":"11_CR8","unstructured":"Jacobson I., Christerson M., Jonsson P., Overgaard G. OO Software Engineering, a Use Case Driven Approach. Reading, Massachusetts. Addison-Wesley."},{"key":"11_CR9","first-page":"60","volume-title":"Lncs. 494","author":"R. Jungclaus","year":"1991","unstructured":"Jungclaus, R., Saake, G., Sernadas, C. Formal Specification of Object Systems. Eds. S. Abramsky and T. Mibaum Proceedings of the TapSoft's 91, Brighton. Lncs. 494, Springer Verlag 1991, pags. 60\u201382."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Kusch, J.; Hartel, P.; Hartmann, T.; Saake, G. Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment. Proc of DEXA-95, pags. 35\u201342, LNCS 978, Springer-Verlag, 1995","DOI":"10.1007\/BFb0049103"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Pastor, O.; Hayes, F.; Bear, S. OASIS:An OO Specification Language. Proc. of CAiSE-92 Conference, Lncs (593), Springer-Verlag 1992, pags: 348\u2013363.","DOI":"10.1007\/BFb0035141"},{"key":"11_CR12","unstructured":"Pastor, O., Ramos, I. Oasis 2.1.1: A Class-Definition Language to Model Information Systems Using an Object-Oriented Approach, October 95 (3 ed)."},{"key":"11_CR13","unstructured":"Pastor, O.; Garcia, R.; Cuevas, J. Implementation of an OO Design in an Oracle7 Development Environment. Proc. of the European Oracle Users Group Conference, EOUG-95. Vol.4 pags: 35\u201347, Firenze (Italy)."},{"key":"11_CR14","unstructured":"Pastor, O., Barber\u00e1, J.M., Merseguer, J., Romero, J., Insfr\u00e1n, E.: The CASE OO-METHOD graphic environment description. Tech. Report, ITI-DT-96."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Pastor, O., Pelechano V., Bonet B., Ramos I.: An OO Methodological Approach for Making Automated Prototyping Feasible. Proceedings of DEXA96, Springer-Verlag, September 1996.","DOI":"10.1007\/BFb0034667"},{"key":"11_CR16","unstructured":"Sernadas, A.; Sernadas, C.; Ehrich, H.D. OO Specification of Databases: An Algebraic Approach. In P.M. Stocker, W. Kent eds., Proc. of VLDB87, pags: 107\u2013116, Morgan Kauffmann, 1987."},{"key":"11_CR17","unstructured":"Rumbaugh J., Blaha M., Permerlani W., Eddy F., Lorensen W. Object Oriented Modeling and Design. Englewood Cliffs, Nj. Prentice-Hall."},{"key":"11_CR18","unstructured":"Wirfs-Brock R., Wilkerson B., Wiener L., Designing Object Oriented Software. Englewood Cliffs, Nj. Prentice-Hall."},{"key":"11_CR19","unstructured":"Wieringa, R.J., Jungclaus, R., Hartel, P., Hartmann, T., Saake, G., OMTROLL Object Modeling in TROLL. Proc. of the International Workshop on Information Systems \u2014 Correctness and Reusability (IS-CORE'93). Hannover, September 1993. Udo W. Lipeck, G. Koschorrek (eds.)."}],"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-63107-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T20:13:46Z","timestamp":1558988026000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63107-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783319981765","9783319981772"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-63107-0_11","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1997]]}}}