{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:21Z","timestamp":1725663981204},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547426"},{"type":"electronic","value":"9783540464464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540547428_51","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:12:29Z","timestamp":1330211549000},"page":"229-250","source":"Crossref","is-referenced-by-count":0,"title":["Software merge: Models and methods for combining changes to programs"],"prefix":"10.1007","author":[{"given":"Valdis","family":"Berzins","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,2]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"V. Berzins, M. Gray and D. Naumann, \u201cAbstraction-Based Software Development\u201d, Comm. of the ACM 29, 5 (May 1986), 402\u2013415.","DOI":"10.1145\/5689.5691"},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/BF00264309","volume":"6","author":"V. Berzins","year":"1986","unstructured":"V. Berzins, \u201cOn Merging Software Extensions\u201d, Acta Informatica 23, Fasc. 6 (Nov. 1986), 607\u2013619.","journal-title":"Acta Informatica 23"},{"key":"13_CR3","unstructured":"V. Berzins, B. Kopas, Luqi and A. Yehudai, \u201cTransformations in SpecificationBased Software Evolution\u201d, Technical Report NPS 52-90-034, Computer Science Department, Naval Postgraduate School, 1990."},{"key":"13_CR4","first-page":"107","volume-title":"Information Systems Design Methodologies: Improving the Practice","author":"A. Berztiss","year":"1986","unstructured":"A. Berztiss, \u201cThe Set-Function Approach to Concptual Modeling\u201d, in Information Systems Design Methodologies: Improving the Practice, T. Olle, H. Sol and A. Verrijn-Stuart (editor), North-Holland, Amsterdam, 1986, 107\u2013144."},{"key":"13_CR5","volume-title":"M. S. Thesis","author":"D. Dampier","year":"1990","unstructured":"D. Dampier, \u201cA Model for Merging Different Versions of a PSDL Program\u201d, M. S. Thesis, Computer Science, Naval Postgraduate School, Monterey, CA, June 1990."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare, \u201cA Couple of Novelties in the Prepositional Calculus\u201d, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 31, 2 (1985), 173\u2013178.","DOI":"10.1002\/malq.19850310905"},{"key":"13_CR7","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/65979.65980","volume":"3","author":"S. Horowitz","year":"1989","unstructured":"S. Horowitz, J. Prins and T. Reps, \u201cIntegrating Non-Interfering Versions of Programs\u201d, Trans. Prog. Lang and Systems 11, 3 (July 1989), 345\u2013387.","journal-title":"Trans. Prog. Lang and Systems 11"},{"key":"13_CR8","unstructured":"B. Kraemer, Luqi and V. Berzins, \u201cDenotational Semantics of a Real-Time Prototyping Languag\u201d, Technical Report NPS 52-90-033, Computer Science Department, Naval Postgraduate School, 1990."},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MS.1986.233414","volume":"3","author":"S. Letovsky","year":"1986","unstructured":"S. Letovsky and E. Soloway, \u201cDelocalized Plans and Program Comprehension\u201d, IEEE Software 3, 3 (May 1986), 41\u201349.","journal-title":"IEEE Software 3"},{"key":"13_CR10","volume-title":"Structured Programming: Theory and Practice","author":"R. C. Linger","year":"1979","unstructured":"R. C. Linger, H. D. Mills and B. I. Witt, Structured Programming: Theory and Practice, Addison Wesley, Reading, MA, 1979."},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"1409","DOI":"10.1109\/32.6186","volume":"10","author":"Luqi","year":"1988","unstructured":"Luqi, V. Berzins and R. Yeh, \u201cA Prototyping Language for Real-Time Software\u201d, IEEE Trans. on Software Eng. 14, 10 (October, 1988), 1409\u20131423.","journal-title":"IEEE Trans. on Software Eng. 14"},{"key":"13_CR12","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1109\/32.57627","volume":"8","author":"Luqi","year":"1990","unstructured":"Luqi, \u201cA Graph Model for Software Evolution\u201d, IEEE Trans. on Software Eng. 16, 8 (Aug. 1990), 917\u2013927.","journal-title":"IEEE Trans. on Software Eng. 16"},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"1003","DOI":"10.1002\/spe.4380161105","volume":"11","author":"A. Mili","year":"1986","unstructured":"A. Mili, W. Xiao-Yang and Y. Qing, \u201cSpecification Methodology: An Integrated Relational Approach\u201d, Software Practice and Expereience 16, 11 (Nov. 1986), 1003\u20131030.","journal-title":"Software Practice and Expereience 16"},{"key":"13_CR14","volume-title":"Computer Sciences Technical Report 856","author":"T. Reps","year":"1989","unstructured":"T. Reps, \u201cOn the Algebraic Properties of Program Integration\u201d, Computer Sciences Technical Report 856, University of Wisconsin, Madison, 1989."},{"key":"13_CR15","unstructured":"J. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977."},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"4","author":"M. Weiser","year":"1984","unstructured":"M. Weiser, \u201cProgram Slicing\u201d, IEEE Trans. on Software Eng. SE-10, 4 (July 1984), 352\u2013357.","journal-title":"IEEE Trans. on Software Eng. SE-10"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"W. Yang, S. Horowitz and T. Reps, \u201cA Program Integration Algorithm that Accomodates Semantics-Preserving Transformations\u201d, in Proc. 4th ACM Software Eng. Notes Symposium on SOftware Development Environments, Irvine, CA, Dec. 1990, 133\u2013143.","DOI":"10.1145\/99278.99290"}],"container-title":["Lecture Notes in Computer Science","ESEC '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540547428_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:27Z","timestamp":1605646587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540547428_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547426","9783540464464"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3540547428_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}