{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T14:51:36Z","timestamp":1692543096917},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1996,3]]},"DOI":"10.1007\/bf02262754","type":"journal-article","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T09:31:21Z","timestamp":1132738281000},"page":"135-150","source":"Crossref","is-referenced-by-count":6,"title":["Software merge: Combining changes to decompositions"],"prefix":"10.1007","volume":"6","author":[{"given":"Valdis","family":"Berzins","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David A.","family":"Dampier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02262754_CR1","unstructured":"S. Badr, and Luqi, \u201cAutomation support for concurrent software engineering,\u201dProceedings of the 6th International Conference on Software Engineering and Knowledge Engineering, Jurmala, Latvia, June 20\u201323, 1994, pp. 46\u201353."},{"key":"BF02262754_CR2","doi-asserted-by":"crossref","unstructured":"V. Berzins, \u201cOn merging software extensions,\u201dActa Informatica, Springer-Verlag, pp. 607\u2013619, 1986.","DOI":"10.1007\/BF00264309"},{"issue":"2","key":"BF02262754_CR3","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF02426920","volume":"1","author":"V. Berzins","year":"1991","unstructured":"V. Berzins, \u201cSoftware merge: Models and methods for combining changes to programs.\u201dJournal of Systems Integration 1(2), pp. 121\u2013141, August 1991.","journal-title":"Journal of Systems Integration"},{"key":"BF02262754_CR4","unstructured":"V. Berzins, and Luqi,Software Engineering With Abstractions Addison-Wesley, 1991."},{"issue":"5","key":"BF02262754_CR5","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1109\/32.232011","volume":"19","author":"V. Berzins","year":"1993","unstructured":"V. Berzins, Luqi, and A. Yehudai, \u201cUsing transformations in specification-based prototyping\u201d.IEEE Transactions on Software Engineering 19(5), pp. 436\u2013452, May 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF02262754_CR6","unstructured":"V. Berzins,Proceedings of the ARO\/AFOSR\/ONR Workshop on Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Software Slicing, Merging and Integration. Monterey, California, October 1993."},{"issue":"6","key":"BF02262754_CR7","doi-asserted-by":"crossref","first-page":"1875","DOI":"10.1145\/197320.197403","volume":"16","author":"V. Berzins","year":"1994","unstructured":"V. Berzins, \u201cSoftware merge: Semantics of combining changes to programs\u201d.ACM Transactions on Programming Languages and Systems 16(6), pp. 1875\u20131903, November 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF02262754_CR8","unstructured":"V. Berzins,IEEE Computer Society Press Tutorial: Software Merging and Slicing. IEEE Computer Society Press, 1995."},{"key":"BF02262754_CR9","volume-title":"A model for merging different versions of a PSDL program","author":"D. Dampier","year":"1990","unstructured":"D. Dampier, \u201cA model for merging different versions of a PSDL program\u201d Master's Thesis, Naval Postgraduate School, Monterey, California, June 1990."},{"key":"BF02262754_CR10","doi-asserted-by":"crossref","unstructured":"D. Dampier, and Luqi, \u201cA model for merging software prototypes,\u201d Naval Postgraduate School Technical Report CS-92-014, 1992.","DOI":"10.21236\/ADA258781"},{"key":"BF02262754_CR11","doi-asserted-by":"crossref","unstructured":"D. Dampier, Luqi, and V. Berzins, \u201cAutomated merging of software prototypes.\u201dJournal of Systems Integration 4(1), Kluwer, January 1994.","DOI":"10.1007\/BF01975671"},{"key":"BF02262754_CR12","volume-title":"A formal method for semantics-based change-merging of software prototypes","author":"D. Dampier","year":"1994","unstructured":"D. Dampier, \u201cA formal method for semantics-based change-merging of software prototypes\u201d, Ph.D. Dissertation. Naval Postgraduate School, Monterey, California, June 1994."},{"key":"BF02262754_CR13","doi-asserted-by":"crossref","unstructured":"D. Dampier, R. Byrnes, and M. Kindl, \u201cComputer-aided maintenance for embedded real-time software,\u201dProceedings of the 19th Army Science Conference, Orlando, Florida, June 1994.","DOI":"10.21236\/ADA299314"},{"key":"BF02262754_CR14","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J. Goguen, J. Jouannaud, and J. Meseguer, \u201cPrinciples of OBJ2\u201d,Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, ACM, New Orleans, 1985, pp. 52\u201366.","DOI":"10.1145\/318593.318610"},{"issue":"5","key":"BF02262754_CR15","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/1006258.1006273","volume":"7","author":"J. Goguen","year":"1982","unstructured":"J. Goguen, and J. Meseguer, \u201cRapid prototyping in the OBJ executable specification language\u201d,Software Engineering Notes, 7(5), pp. 75\u201384, December 1982.","journal-title":"Software Engineering Notes"},{"key":"BF02262754_CR16","unstructured":"J. Goguen, et al.,Introducing OBJ, SRI Technical Report SRI-CSL-88-8, August 1988."},{"key":"BF02262754_CR17","doi-asserted-by":"crossref","unstructured":"S. Horwitz, J. Prins, and T. Reps, \u201cIntegrating non-interfering versions of programs,\u201dConference Record of the Fifteenth ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, New York, New York, January 13\u201315, 1988.","DOI":"10.1145\/73560.73572"},{"issue":"5","key":"BF02262754_CR18","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1109\/32.232012","volume":"19","author":"B. Kramer","year":"1993","unstructured":"B. Kramer, Luqi, and V. Berzins, \u201cCompositional semantics of a real-time prototyping language\u201d.IEEE Transactions on Software Engineering 19(5), pp. 453\u2013477, May 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF02262754_CR19","doi-asserted-by":"crossref","unstructured":"Luqi, V. Berzins, and R. Yeh, \u201cA prototyping language for real time software.\u201dIEEE Transactions on Software Engineering, pp. 1409\u20131423, October 1988.","DOI":"10.1109\/32.6186"},{"key":"BF02262754_CR20","doi-asserted-by":"crossref","unstructured":"Luqi, \u201cSoftware evolution through rapid prototyping\u201d.IEEE Computer, May 1989.","DOI":"10.1109\/2.27953"},{"key":"BF02262754_CR21","doi-asserted-by":"crossref","unstructured":"Luqi, \u201cA graph model for software evolution.\u201dIEEE Transaction on Software Engineering 16(8), August 1990.","DOI":"10.1109\/32.57627"},{"issue":"2","key":"BF02262754_CR22","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0096-0551(93)90013-Q","volume":"18","author":"Luqi","year":"1993","unstructured":"Luqi, \u201cReal-time constraints in a rapid prototyping language\u201d,Journal of Computer Languages 18(2), pp. 77\u2013103, Spring 1993.","journal-title":"Journal of Computer Languages"},{"issue":"1","key":"BF02262754_CR23","doi-asserted-by":"crossref","first-page":"122","DOI":"10.2307\/1969038","volume":"47","author":"J. McKinsey","year":"1946","unstructured":"J. McKinsey, and A. Tarski, \u201cOn closed elements in closure algebras\u201d.Annals of Mathematics 47(1), pp. 122\u2013162, January 1946.","journal-title":"Annals of Mathematics"},{"issue":"1\u20133","key":"BF02262754_CR24","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0167-6423(91)90039-Z","volume":"17","author":"T. Reps","year":"1991","unstructured":"T. Reps, \u201cOn the algebraic properties of program integration\u201d.Science of Computer Programming 17(1\u20133), pp. 139\u2013215, December 1991.","journal-title":"Science of Computer Programming"},{"key":"BF02262754_CR25","doi-asserted-by":"crossref","unstructured":"M. Weiser, \u201cProgram slicing\u201d,IEEE Transactions on Software Engineering, pp. 352\u2013357, July 1984.","DOI":"10.1109\/TSE.1984.5010248"},{"key":"BF02262754_CR26","doi-asserted-by":"crossref","unstructured":"W. Yang, S. Horwitz, and T. Reps, \u201cA program integration algorithm that accommodates semantics-preserving transformations,\u201dProceedings of the 4th ACM SIGSOFT Symposium on Software Development Environments, Irvine, California, December, 1990, pp. 133\u2013143.","DOI":"10.1145\/99277.99290"}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02262754.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02262754\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02262754","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:49:01Z","timestamp":1586580541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02262754"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":26,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["BF02262754"],"URL":"https:\/\/doi.org\/10.1007\/bf02262754","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"value":"0925-4676","type":"print"},{"value":"1573-8787","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}