{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T04:03:04Z","timestamp":1748145784819,"version":"3.41.0"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[2003,4]]},"DOI":"10.1023\/a:1022963912112","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T22:16:51Z","timestamp":1049753811000},"page":"121-155","source":"Crossref","is-referenced-by-count":0,"title":["A Supermodel Framework Supporting Validated Upgrading of Reactive Systems"],"prefix":"10.1007","volume":"10","author":[{"given":"Robert J.","family":"Hall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5118774_CR1","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J. Burch","year":"1992","unstructured":"Burch, J., Clarke, E., McMillan, K., Dill, D., and Hwang, L. 1992. Symbolic model checking: 1020 states and beyond. Info. and Comput., 98:142\u2013170.","journal-title":"Info. and Comput."},{"key":"5118774_CR2","first-page":"203","volume-title":"Proc. 21st Intl. Conf. on Software Eng.","author":"J. Cook","year":"1999","unstructured":"Cook, J. and Dage, J. 1999. Highly reliable upgrading of components. In Proc. 21st Intl. Conf. on Software Eng., New York, NY: ACM, pp. 203\u2013212."},{"issue":"3","key":"5118774_CR3","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1145\/272287.272329","volume":"41","author":"R.J. Hall","year":"1998","unstructured":"Hall, R.J. 1998. How to avoid unwanted email. Comm. ACM, 41(3):88\u201395.","journal-title":"Comm. ACM"},{"key":"5118774_CR4","doi-asserted-by":"crossref","unstructured":"Hall, R.J. 2000. Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design. In Proc. 3rd Workshop on Formal Methods in Software Practice, ACM.","DOI":"10.1145\/349360.351126"},{"key":"5118774_CR5","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann, G.J. 1991. Design and Validation of Computer Protocols. Englewood Cliffs, NJ: Prentice Hall."},{"key":"5118774_CR6","first-page":"143","volume-title":"Proc. ISSTA-98 (Software Engineering Notes 23(2))","author":"B. Korel","year":"1998","unstructured":"Korel, B. and Al-Yami, A. 1998. Automated regression test generation. In Proc. ISSTA-98 (Software Engineering Notes 23(2)), New York, NY: ACM, pp. 143\u2013152."},{"key":"5118774_CR7","doi-asserted-by":"crossref","unstructured":"Little, M. and Shrivastava, S. 1996. Using application specific knowledge for configuring object replicas. In Proc. 3rd Intl. Conf. on Configurable Distributed Systems, IEEE Computer Society Press, pp. 169\u2013176.","DOI":"10.1109\/CDS.1996.509359"},{"key":"5118774_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-540-49020-3_11","volume-title":"Fundamential Approaches to Software Engineering (FASE'99)","author":"M. M\u00fcller-Olm","year":"1999","unstructured":"M\u00fcller-Olm, M., Steffen, B., and Cleaveland, R. 1999. On the evolution of reactive components: A processalgebraic approach. In Fundamential Approaches to Software Engineering (FASE'99), Lecture Notes in Computer Science 1577, Berlin: Springer-Verlag, pp. 161\u2013175."},{"key":"5118774_CR9","doi-asserted-by":"crossref","unstructured":"Oreizy, P., Medvidovic, N., and Taylor, R. 1998. Architecture-based runtime software evolution. In Proc. 20th Intl. Conf. on Software Engineering, IEEE, pp. 177\u2013186.","DOI":"10.1109\/ICSE.1998.671114"},{"key":"5118774_CR10","doi-asserted-by":"crossref","unstructured":"Rosenblum, D. 1995. A practical approach to programming with assertions. IEEE Trans. on Software Eng.","DOI":"10.1109\/32.341844"},{"key":"5118774_CR11","unstructured":"Tai, A., Tso, K., Alkalai, L., Chau, S., and Sanders, W. 2000. On low-cost error containment and recovery methods for guarded software upgrading. In Proc. 20th Intl. Conf. on Distributed Computing Systems (ICDCS2000), Taipei Taiwan."},{"issue":"7","key":"5118774_CR12","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1002\/spe.4380150703","volume":"15","author":"W. Tichy","year":"1985","unstructured":"Tichy, W. 1985. RCS-A system for version control. Software Practice and Experience, 15(7):637\u2013654.","journal-title":"Software Practice and Experience"},{"key":"5118774_CR13","unstructured":"Ullman, J., Aho, A., and Sethi, R. 1986. Compilers: Principles, Techniques, Tools. Addison-Wesley Longman. ISBN: 0201100886."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022963912112.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022963912112\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022963912112.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:08:19Z","timestamp":1748070499000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022963912112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,4]]}},"alternative-id":["5118774"],"URL":"https:\/\/doi.org\/10.1023\/a:1022963912112","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2003,4]]}}}