{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:24:55Z","timestamp":1742912695942,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666868"},{"type":"electronic","value":"9783540478669"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-47866-3_19","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T13:42:17Z","timestamp":1195134137000},"page":"278-292","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["From CASE to CARE (Computer-Aided Requirements Engineering)"],"prefix":"10.1007","author":[{"given":"Oscar","family":"Pastor","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 H.","family":"Can\u00f3s","sequence":"additional","affiliation":[]},{"given":"Isidro","family":"Ramos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,4]]},"reference":[{"key":"19_CR1","volume-title":"Designing Object Oriented Software","author":"R. Wirfs-Brock","year":"1990","unstructured":"Wirfs-Brock R., Wilkerson B., Wiener L. Designing Object Oriented Software. Englewood Cliffs, Nj. Prentice-Hall. 1990"},{"key":"19_CR2","unstructured":"Rumbaugh J. et al. W. Object Oriented Modeling and Design. Englewood Cliffs, Nj. Prentice-Hall. 1991"},{"key":"19_CR3","unstructured":"Jacobson I. et al. G. OO Software Engineering, a Use Case Driven Approach. Reading, Massachusetts. Addison-Wesley"},{"key":"19_CR4","unstructured":"Booch, G. OO Analysis and Design with Applications. Addison-Wesley, 1994"},{"key":"19_CR5","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":"19_CR6","unstructured":"Booch G., Rumbaugh J., Jacobson I. UML. v1. Rational Software Co., 1997."},{"key":"19_CR7","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":"19_CR8","unstructured":"ESDI S.A., Lisboa. OBLOG CASE V1.0-User\u2019s Guide"},{"key":"19_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/3540539816_61","volume-title":"Proceeding of the TapSoft\u2019s 91","author":"R. Jungclaus","year":"1991","unstructured":"Jungclaus R., Saake G., Sernadas C. Formal specification of Object Systems. Eds. S. Abramsky and T. Mibaum Proceeding of the TapSoft\u2019s 91, Brighton. Lncs. 494, Springer Verlag 1991, pgs: 60\u201382."},{"key":"19_CR10","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, April 1994"},{"key":"19_CR11","unstructured":"Dubois E., Petit M., Wu S. ALBERT: A Formal Agent-Oriented Requirements Language for distributed Composite Systems. In Proc. CAiSE\u201994 Workshop on Formal Methods for Information Systems Dynamics, pags: 25\u201339, University of Twente, Technical Report, 1994"},{"key":"19_CR12","series-title":"Lect Notes Comput Sci","first-page":"348","volume-title":"Proceedings of the CAiSE\u201992 conference","author":"O. Pastor","year":"1992","unstructured":"Pastor O., Hayes F., Bear S. OASIS: An object-oriented specification language. In P. Loucopoulos, editor, Proceedings of the CAiSE\u201992 conference, pp. 348\u2013363, Berlin, Springer, LNCS 593 (1992)."},{"key":"19_CR13","unstructured":"Pastor O., Ramos I. Oasis 2.1.1: A Class-Definition Language to Model Information Systems Using an Object-Oriented Approach, October 95 (3rd edition)."},{"key":"19_CR14","unstructured":"Wieringa, R.J., Jungclaus, R., Hartel, P., Hartmann, T., Saake, G., OMTROLL Object Modeling in TROLL. Proceedings of the International Workshop on Information Systems \u2014 Correctness and Reusability (IS-CORE\u201993). Hannover, September 1993. Udo W. Lipeck, G. Koschorrek (eds.)."},{"key":"19_CR15","series-title":"Lect Notes Comput Sci","first-page":"135","volume-title":"Proceedings of CAiSE-94 Conference","author":"R.B. Jackson","year":"1994","unstructured":"Jackson R.B., Embley D.W., Woodfield S.N. Automated Support for the Development of Formal Object-Oriented Requirements Specification. In Proceedings of CAiSE-94 Conference. Utrecht, The Netherlands. Lecture Notes in Computer Science; v. 811; p.135\u2013148. 1994."},{"key":"19_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/BFb0020520","volume-title":"Proceedings of 14th International Conference on Object-Oriented and Entity-Relationship Modeling (OOER\u201995)","author":"S.W. Liddle","year":"1995","unstructured":"Liddle S.W., Embley D.W., Woodfield S.N. Unifying Modeling and Programming Through an Active, Object-Oriented, Model-Equivalent Programming Language. In Proceedings of 14th International Conference on Object-Oriented and Entity-Relationship Modeling (OOER\u201995). 13\u201315 Dec 1995. Gold Coast, Australia. Lecture Notes in Computer Science v. 1021; p. 55\u201364. 1995."},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Harel, D., First-Order Dynamic Logic, Springer-Verlag, 1979.","DOI":"10.1007\/3-540-09237-4"},{"key":"19_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-55015-1_23","volume-title":"2nd Conference on Deductive and OO Databases","author":"R.J. Wieringa","year":"1991","unstructured":"Wieringa R.J. {\\em A Formalization of Objects using Equational Dynamic Logic}, 2nd Conference on Deductive and OO Databases, pags 431\u2013452, Springer 1991, Lecture Notes in Computer Science 566."},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Catell, R. G. G. (ed.), The Object Database Standard: ODMG-93, Release 1.1, Morgan Kaufmann Publishers, 1994.","DOI":"10.1145\/191839.191937"},{"key":"19_CR20","unstructured":"Can\u00f3s, J.H.: Ramos, I.; Lozano, M.D. KAOS: an Object-oriented software tool for the objects definition, updating, querying and programming in an object-oriented environment. Proc of the IEEE 1998 Canadian Conference on Electrical and Computer Engineering, IEEE Press, 1998"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Ramos, I. Logic and OO Databases: a Declarative Approach Porceedings of the Dexa 90, Springer-Verlag, 1990","DOI":"10.1007\/978-3-7091-7553-8_37"},{"key":"19_CR22","unstructured":"McCabe, F.G., Logic and Objects, Prentice-Hall, 1992"},{"key":"19_CR23","series-title":"Lect Notes Comput Sci","first-page":"145","volume-title":"Proceedings of CAiSE97 conference","author":"O. Pastor","year":"1997","unstructured":"Pastor O. et al. OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. In Antoni Oliv\u00e9 and Joan Antoni Pastor editors, Proceedings of CAiSE97 conference, pp. 145\u2013158, Berlin, Springer-Verlag, LNCS 1250. June 1997"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Kifer M., Deductive and Object Data Languages: A Quest for Integration, Proceedings of the DOOD-96 Conference, Springer-Verlag, 1996","DOI":"10.1007\/3-540-60608-4_41"},{"key":"19_CR25","unstructured":"Cars\u00ed J.A.; A DOOD System for Treating the Schema Evolution Problem, EDBT\u201998 Demo Session, VI Intl.Conference on Extending Database Technology, Valencia, March 1998"},{"key":"19_CR26","series-title":"Lect Notes Comput Sci","isbn-type":"print","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/978-3-540-49524-6_16","volume-title":"Conceptual Modeling \u2014 ER\u201998","author":"O. Pastor","year":"1998","unstructured":"Pastor, O.; Insfran, E.; Pelechano, V.; Garc\u00eda, J. From Object Oriented Conceptual Modeling to Automated Programming in Java. Conceptual Modeling \u2014 ER\u201998. Lecture Notes in Computer Science (1507), p\u00e1gs: 183\u2013197, Springer-Verlag, 1998, ISBN: 3-540-65189-6; ISSN: 0302-9743, Singapore","ISBN":"https:\/\/id.crossref.org\/isbn\/3540651896"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling \u2014 ER \u201999"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47866-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T02:57:10Z","timestamp":1708311430000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47866-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666868","9783540478669"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-47866-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"4 June 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}