{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:24:39Z","timestamp":1725459879868},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603030"},{"type":"electronic","value":"9783540447900"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0049107","type":"book-chapter","created":{"date-parts":[[2006,3,6]],"date-time":"2006-03-06T13:18:27Z","timestamp":1141651107000},"page":"79-90","source":"Crossref","is-referenced-by-count":0,"title":["OASIS v2: A class definition language"],"prefix":"10.1007","author":[{"given":"Oscar Pastor","family":"L\u00f3pez","sequence":"first","affiliation":[]},{"given":"Isidro Ramos","family":"Salavert","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 H.Can\u00f3s","family":"Cerd\u00e1","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,2,1]]},"reference":[{"key":"8_CR1","unstructured":"Can\u00f3s,J.H.:Pastor,O. Object Oriented and Functional Specification of Information Systems in Proc. of DEXA-91 Conference, Berlin,1991 351\u2013386, Sept.1981."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Harel,D. Dynamic Logic in Handbook of Philosophical Logic II, editors D.M.Gabbay, F.Guenthner; pags. 497\u2013694. Reidel 1984","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"8_CR3","unstructured":"Hartmann,T.; Kusch,J.; Saake,G.; Hartel,P. Revised Version of the Conceptual Modeling and Design Language Troll Proc. of the International IS-CORE Workshop, pags.89\u2013102; Amsterdam-1994."},{"key":"8_CR4","first-page":"348","volume-title":"Proceedings of the CAiSE-92 Conference","author":"O. Pastor","year":"1992","unstructured":"Pastor,O.:Hayes,F.:Bear,S. OASIS: An Object Oriented Specification Language In the Proceedings of the CAiSE-92 Conference, Springer-Verlag, pag. 348\u2013363; Mayo 1992, Manchester (UK)"},{"key":"8_CR5","unstructured":"Pastor,O.;Ramos,I.;Cuevas,J.;Devesa,J.;Canos,J.H. OASIS 2,0: An Object Definition Language for Object Oriented Databases Technical Report, DSIC-UPV, Febrero 1994"},{"key":"8_CR6","unstructured":"Pastor O. Dise\u00f1o y Desarrollo de un Entorno de Producci\u00f3n Autom\u00e1tica de Sotfware basado en el modelo OO PhD thesis, DSIC-UPV, May 1992."},{"key":"8_CR7","unstructured":"Pastor,O.:Ramos,I:,Canos,J.H. Object Oriented and Relational Specification Of Information Systems In the Proc. of the 2nd International Workshop of the Deductive Approach for DB and IS, Aiguablava (Catalonia), 1991"},{"key":"8_CR8","unstructured":"Pastor,O;Casamayor,J.C. A Deductive and Object Oriented Environment for Software Production In the Proc. of the Workshop in Expert Systems, AI and Software Engineering Application, ILPS-91, San Diego (California)."},{"key":"8_CR9","unstructured":"Pastor,O.;Gonz\u00e1lez, A. OO-METHOD: An Object-Oriented Methodology for Software Production in the Proceedings of the DEXA-92 Conference, Valencia (Spain)"},{"key":"8_CR10","unstructured":"Pastor,O.;Ramos,I.;Canos, J. From Analysis to Design in an OO and deductive environment in the Proceedings of the DEXA-93 Conference, Prague (Chec Republic)."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Ramos,I. Logic and OO Databases: a Declarative Approach Proc. of the DEXA 90, Springer-Verlag 1990","DOI":"10.1007\/978-3-7091-7553-8_37"},{"key":"8_CR12","unstructured":"Ramos,I:,Pastor,O.:Canos,J.H. On the use of Algebras as Semantic Domains of Object Societies In the Proc. of the 3rd International Workshop of the Deductive Approach for DB and IS, Roses(Catalonia), 1992"},{"key":"8_CR13","volume-title":"PhD thesis","author":"R. Wieringa","year":"1990","unstructured":"Wieringa R. J. Algebraic Foundations for Dynamic Conceptual Models PhD thesis, Dept. of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, May 1990."},{"key":"8_CR14","unstructured":"Wieringa R.J.;Meyer J.-J.Ch. Actors, Actions and Initiative in Normative System Specification Annals of Mathematics and Artificial Intelligence, 1992."}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0049107","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T01:55:08Z","timestamp":1555466108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0049107"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603030","9783540447900"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0049107","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}