{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:00:28Z","timestamp":1725487228390},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422723"},{"type":"electronic","value":"9783540481966"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48196-6_4","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:22:53Z","timestamp":1184602973000},"page":"68-84","source":"Crossref","is-referenced-by-count":3,"title":["Evolving the Software of a Schema Evolution System"],"prefix":"10.1007","author":[{"given":"Kajal T.","family":"Claypool","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elke A.","family":"Rundensteiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George T.","family":"Heineman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,8]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"J. Banerjee, W. Kim, H. J. Kim, and H. F. Korth. Semantics and Implementation of Schema Evolution in Object-Oriented Databases. SIGMOD, pages 311\u2013322, 1987.","DOI":"10.1145\/38713.38748"},{"key":"4_CR2","unstructured":"P.E. Black. Axiomatic Semantic Verification of a Secure Web Server. PhD thesis, Brigham Young University, February 1998."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"R. Bretl, D. Maier, A. Otis, J. Penney, B. Schuchardt, J. Stein, E. H. Williams, and M. Williams. The GemStone Data Management System. In Object-Oriented Concepts, Databases and Applications, pages 283\u2013308. ACM Press, 1989.","DOI":"10.1145\/63320.66507"},{"key":"4_CR4","unstructured":"G. Booch. Object-Oriented Analysis and Design. Benjamin Cummings Publications, 1994."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"P. Br\u00e9che. Advanced Primitives for Changing Schemas of Object Databases. In Conference on Advanced Information Systems Engineering, pages 476\u2013495, 1996.","DOI":"10.1007\/3-540-61292-0_26"},{"key":"4_CR6","unstructured":"Cattell, R.G.G and et al. The Object Database Standard: ODMG 2.0. Morgan Kaufmann Publishers, Inc., 1997."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"K.T. Claypool, J. Jin, and E.A. Rundensteiner. SERF: Schema Evolution through an Extensible, Refusable and Flexible Framework. In Int. Conf. on Information and Knowledge Management, pages 314\u2013321, November 1998.","DOI":"10.1145\/288627.288672"},{"key":"4_CR8","unstructured":"K.T. Claypool, E.A. Rundensteiner, and G.T Heineman. Extending Schema Evolution to Handle Object Models with Relationships. Technical Report WPI-CS-TR-99-15, Worcester Polytechnic Institute, March 1999."},{"key":"4_CR9","unstructured":"M.J.C Gordon and T.F. Melham. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic, 1993."},{"key":"4_CR10","unstructured":"Y. Gurevich, N. Soparkar, and C. Wallace. Formalizing database recovery. In COMAD, 1995."},{"key":"4_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-60954-7_40","volume-title":"International Symposium on Object Technologies for Advanced Software","author":"W.L. Hursch","year":"1996","unstructured":"W.L. Hursch and L.M. Seiter. Automating the Evolution of Object-Oriented Systems. In International Symposium on Object Technologies for Advanced Software, pages 2\u201321, Kanazawa, Japan, March 1996. Springer Verlag, Lecture Notes in Computer Science."},{"key":"4_CR12","unstructured":"Itasca Systems Inc. Itasca Systems Technical Report. Technical Report TM-92-001, OODBMS Feature Checklist. Rev 1.1, Itasca Systems, Inc., December 1993."},{"key":"4_CR13","unstructured":"B.S. Lerner. A Model for Compound Type Changes Encountered in Schema Evolution. Technical Report UM-CS-96-044, University of Massachusetts, Amherst, Computer Science Department, 1996."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"B. S. Lerner and A. N. Habermann. Beyond schema evolution to database reorganization. In OOPSLA, pages 67\u201376, 1990.","DOI":"10.1145\/97945.97956"},{"issue":"10","key":"4_CR15","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"B. Meyer. Applying \u201cDesign By Contract\u201d. IEEE Computer, 25(10):20\u201332, 1992.","journal-title":"IEEE Computer"},{"key":"4_CR16","unstructured":"Object Design Inc. ObjectStore-User Guide: DML. ObjectStore Release 3.0 for UNIX Systems. Object Design Inc., December 1993."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"S. Owre, J.M. Rushby, and N. Shankar. PVS: A Prototype Verification System. In 11th CADE, Lecture Notes in Artificial Intelligence, pages 748\u2013752, 1992.","DOI":"10.1007\/3-540-55602-8_217"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"D. J. Penney and J. Stein. Class modification in the GemStone object-oriented DBMS. In OOPSLA, pages 111\u2013117, 1987.","DOI":"10.1145\/38765.38817"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"E.A. Rundensteiner, K.T. Claypool, M. Li, L. Chen, X. Zhang, C. Natarajan, J. Jin, S. De Lima, and S. Weiner. SERF: ODMG-Based Generic Restructuring Facility. In Demo Session Proceedings of SIGMOD\u201999, pages 568\u2013570, 1999.","DOI":"10.1145\/304181.304579"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"A. H. Skarra and S. B. Zdonik. The Management of Changing Types in an Object-Oriented Databases. In Proc. 1st OOPSLA, pages 483\u2013494, 1986.","DOI":"10.1145\/28697.28747"},{"key":"4_CR21","unstructured":"Versant Object Technology. Versant User Manual. Versant Object Technology, 1992."},{"key":"4_CR22","volume-title":"O2 Reference Manual, Version 4.5, Release November 1994","author":"O2 Technology","year":"1994","unstructured":"O2 Technology. O 2 Reference Manual, Version 4.5, Release November 1994. O2 Technology, Versailles, France, November 1994."}],"container-title":["Lecture Notes in Computer Science","Database Schema Evolution and Meta-Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48196-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T01:47:56Z","timestamp":1587779276000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48196-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422723","9783540481966"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48196-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]}}}