{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:49:00Z","timestamp":1725702540987},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_1","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T21:07:20Z","timestamp":1348607240000},"page":"1-3","source":"Crossref","is-referenced-by-count":1,"title":["Adaptable and Evolving Software for Eternal Systems"],"prefix":"10.1007","author":[{"given":"Reiner","family":"H\u00e4hnle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"LNCS","first-page":"4","volume-title":"ISoLA 2012, Part I","author":"E. Bodden","year":"2012","unstructured":"Bodden, E., Follner, A., Rasthofer, S.: Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 4\u201318. Springer, Heidelberg (2012)"},{"key":"1_CR2","series-title":"LNCS","first-page":"19","volume-title":"ISoLA 2012, Part I","author":"J. Bosch","year":"2012","unstructured":"Bosch, J., Eklund, U.: Eternal Embedded Software: Towards Innovation Experiment Systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 19\u201331. Springer, Heidelberg (2012)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Self-Adaptive Systems","author":"B.H.C. Cheng","year":"2009","unstructured":"Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Bencomo, N., Brun, Y., Cukic, B., Di Marzo Serugendo, G., Dustdar, S., Finkelstein, A., Gacek, C., Geihs, K., Grassi, V., Karsai, G., Kienle, H.M., Kramer, J., Litoiu, M., Malek, S., Mirandola, R., M\u00fcller, H.A., Park, S., Shaw, M., Tichy, M., Tivoli, M., Weyns, D., Whittle, J.: Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 1\u201326. Springer, Heidelberg (2009)"},{"key":"1_CR4","series-title":"LNCS","first-page":"32","volume-title":"ISoLA 2012, Part I","author":"R. H\u00e4hnle","year":"2012","unstructured":"H\u00e4hnle, R., Schaefer, I.: A Liskov Principle for Delta-Oriented Programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 32\u201346. Springer, Heidelberg (2012)"},{"key":"1_CR5","series-title":"LNCS","first-page":"47","volume-title":"ISoLA 2012, Part I","author":"A.-L. Lamprecht","year":"2012","unstructured":"Lamprecht, A.-L., Margaria, T.: Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 47\u201363. Springer, Heidelberg (2012)"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MS.1998.646878","volume":"15","author":"M.M. Lehman","year":"1998","unstructured":"Lehman, M.M.: Software\u2019s future: Managing evolution. IEEE Software\u00a015(1), 40\u201344 (1998)","journal-title":"IEEE Software"},{"key":"1_CR7","series-title":"LNCS","first-page":"64","volume-title":"ISoLA 2012, Part I","author":"M. Lienhardt","year":"2012","unstructured":"Lienhardt, M., Bravetti, M., Sangiorgi, D.: An Object Group-Based Component Model. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 64\u201378. Springer, Heidelberg (2012)"},{"key":"1_CR8","series-title":"LNCS","first-page":"79","volume-title":"ISoLA 2012, Part I","author":"M. Merten","year":"2012","unstructured":"Merten, M., Howar, F., Steffen, B., Pellicione, P., Tivoli, M.: Automated Inference of Models for Black Box Systems Based on Interface Descriptions. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 79\u201396. Springer, Heidelberg (2012)"},{"key":"1_CR9","unstructured":"Parnas, D.: Software aging. In: ICSE, pp. 279\u2013287 (1994)"},{"key":"1_CR10","series-title":"LNCS","first-page":"97","volume-title":"ISoLA 2012, Part I","author":"A. Poetzsch-Heffter","year":"2012","unstructured":"Poetzsch-Heffter, A., Feller, C., Kurnia, I.W., Welsch, Y.: Model-based Compatibility Checking of System Modifications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 97\u2013111. Springer, Heidelberg (2012)"},{"key":"1_CR11","series-title":"LNCS","first-page":"112","volume-title":"ISoLA 2012, Part I","author":"P. Zech","year":"2012","unstructured":"Zech, P., Felderer, M., Kalb, P., Breu, R.: A Generic Platform for Model-Based Regression Testing. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 112\u2013126. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:41:11Z","timestamp":1620117671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}