{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T13:03:24Z","timestamp":1774357404078,"version":"3.50.1"},"publisher-location":"Boston, MA","reference-count":17,"publisher":"Springer US","isbn-type":[{"value":"9781461373834","type":"print"},{"value":"9781461552291","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-1-4615-5229-1_1","type":"book-chapter","created":{"date-parts":[[2013,3,10]],"date-time":"2013-03-10T20:07:08Z","timestamp":1362946028000},"page":"1-14","source":"Crossref","is-referenced-by-count":1,"title":["Object-Oriented Transformation"],"prefix":"10.1007","author":[{"given":"Kenneth","family":"Baclawski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"DeLoach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mieczyslaw M.","family":"Kokar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1109\/32.83916","volume":"17","author":"G Babin","year":"1991","unstructured":"G. Babin et al. Specification and design of transactions in information systems: A formal approach. IEEE Transactions on Software Engineering, 17:814\u2013829, August 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR2","unstructured":"K. Baclawski. The nu&object-oriented semantic data modeling tool: intermediate report. Technical Report NU-CCS-90-18, Northeastern University, College of Computer Science, 1990."},{"key":"1_CR3","unstructured":"K. Baclawski. Transactions in the nu& system. In OOPLSA\/ECOOP\u201990 Workshop on Transactions and Objects, pages 65\u201372, October 1990."},{"key":"1_CR4","unstructured":"K. Baclawski. Panoramas and grammars: a new view of data models. Technical Report NU-CCS-91-2, Northeastern University College of Computer Science, 1991."},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/32.585497","volume":"23","author":"D Batory","year":"1997","unstructured":"D. Batory and B. Geraci. Composition validation and subjectivity in Gen-Voca generators. IEEE Transactions on Software Engineering, 23: 67\u201382, 1997. DARPA and WL supported project under contract F33615-91C-1788.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR6","unstructured":"K. Baclawski, T. Mark, R. Newby, and R. Ramachandran. The nu& object-oriented semantic data modeling tool: preliminary report. Technical Report NU-CCS-90-17, Northeastern University, College of Computer Science, 1989."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"[B092]D. Batory and S. O\u2019Malley.The design and implementation of hierarchical software systems with reusable components. ACM TOSEM, October 1992.","DOI":"10.1145\/136586.136587"},{"key":"1_CR8","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobsen. UML Notation Guide, Version 1.1, September 1997."},{"key":"1_CR9","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobsen. UML Semantics, September 1997."},{"key":"1_CR10","unstructured":"S. DeLoach. Formal Transformations from Graphically-Based Object-Oriented Representations to Theory-Based Specifications. PhD thesis, Air Force Institute of Technology, WL AFB, OH, June 1996. Ph.D. Dissertation."},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/194313.194399","volume":"37","author":"M Fraser","year":"1994","unstructured":"M. Fraser et al. Strategies for incorporating formal specifications. Communicatittions of the ACM, 37: 74\u201386, 1994.","journal-title":"Communicatittions of the ACM"},{"key":"1_CR12","first-page":"339","volume-title":"Proc. 13th VLDB Conf.","author":"GT87G Gonnet","year":"1987","unstructured":"[GT87]G. Gonnet and F. Tompa. Mind your grammar: a new approach to modelling text. In Proc. 13th VLDB Conf., pages 339\u2013346, Brighton, UK, 1987."},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/130844.130856","volume":"24","author":"C Krueger","year":"1992","unstructured":"C. Krueger. Software reuse. ACM Computing Surveys, 24: 131\u2013183, June 1992.","journal-title":"ACM Computing Surveys"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"J. Neighbors. The Draco approach to constructing software from reusable components. IEEE Trans. Software Engineering, pages 564\u2013574, Sept. 1984.","DOI":"10.1109\/TSE.1984.5010280"},{"key":"1_CR15","unstructured":"Refine 3.0 User\u2019s Guide, May 25, 1990."},{"key":"1_CR16","unstructured":"Specware\u2122 User Manual: Specware\u2122 Version Core4, October 1994."},{"key":"1_CR17","unstructured":"R. Waldinger et al. Specware\u2122 Language Manual: Specware\u2122 2.0.2, 1998."}],"container-title":["Behavioral Specifications of Businesses and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4615-5229-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T05:45:15Z","timestamp":1557553515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4615-5229-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9781461373834","9781461552291"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4615-5229-1_1","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}