{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:13Z","timestamp":1725664153838},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572343"},{"type":"electronic","value":"9783540479826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57234-1_68","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:31:56Z","timestamp":1330259516000},"page":"667-672","source":"Crossref","is-referenced-by-count":0,"title":["From analysis to design in a deductive and object-oriented environment"],"prefix":"10.1007","author":[{"given":"Oscar Pastor","family":"L\u00f3pez","sequence":"first","affiliation":[]},{"given":"Isidro","family":"Ramos","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 H.","family":"Can\u00f3s","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"68_CR1","doi-asserted-by":"crossref","unstructured":"R. Balzer et al.:Software Technology in the 1990s: Using a New Paradigm. IEEE Computer Science Press,Nov.1983.","DOI":"10.1109\/MC.1983.1654237"},{"key":"68_CR2","unstructured":"J. A. Bubenko, A.Oliv \u00e9: Dynamic or Temporal Modelling? an illustrative comparison. SYSLAB Working Paper 117,Nov.1986."},{"key":"68_CR3","volume-title":"Structured System Analysis","author":"C. Gane","year":"1979","unstructured":"C.Gane, T.Sarson: Structured System Analysis. Englewood Cliffs,NJ:Prentice Hall, 1979"},{"key":"68_CR4","unstructured":"O.Pastor,I.Ramos,J,Can\u00f3s: Object Oriented and Relational Specification of Information Systems. Second International Workshop on the Deductive Approach to Information Systems and Databases. Aiguablava,Sept.1991."},{"key":"68_CR5","unstructured":"O.Pastor,F.Hayes,S.Bear: OASIS: An Object-Oriented Specification Language. In the Proceedings of the CAiSE-92, Manchester,UK."},{"key":"68_CR6","unstructured":"O.Pastor,A.Gonz \u00e1lez: OO-METHOD: An OO Methodology for S oftware Production. Proceedings of DEXA-92, Valencia"},{"key":"68_CR7","volume-title":"PhD Thesis","author":"O. Pastor","year":"1992","unstructured":"O.Pastor. Diseno y Desarrollo de un Entorno de Producci\u00f3n Autom \u00e1tica de Software basado en el Modelo OO. PhD Thesis, U.P.V., Valencia 1992."},{"key":"68_CR8","doi-asserted-by":"crossref","unstructured":"I.Ramos: Logics and OO-Data Bases: a declarative approach. Proceedings of DEXA-90, Springer-Verlag, 1990 pag. 348\u2013363.","DOI":"10.1007\/978-3-7091-7553-8_37"},{"key":"68_CR9","doi-asserted-by":"crossref","unstructured":"I.Ramos,O.Pastor: OO and Active Formal Information System Specification. Proceedings of DEXA-91, Berlin (1991)","DOI":"10.1007\/978-3-7091-7555-2_1"},{"key":"68_CR10","volume-title":"Modern Structured Analysis","author":"E. Yourdon","year":"1989","unstructured":"E.Yourdon: Modern Structured Analysis. Englewood Cliffs,NJ:Prentice Hall, 1989"},{"key":"68_CR11","doi-asserted-by":"crossref","unstructured":"R.J. Wieringa, A formalization of objects using equational dynamic logic, Proc. of the 2nd DOOD Conference, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-55015-1_23"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57234-1_68.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:15Z","timestamp":1605647415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57234-1_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572343","9783540479826"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-57234-1_68","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}