{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:49:25Z","timestamp":1725702565650},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_10","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"127-130","source":"Crossref","is-referenced-by-count":0,"title":["Approaches for Mastering Change"],"prefix":"10.1007","author":[{"given":"Ina","family":"Schaefer","sequence":"first","affiliation":[]},{"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Leucker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"LNCS","first-page":"146","volume-title":"ISoLA 2012, Part I","author":"P. Asirelli","year":"2012","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A Compositional Framework to Derive Product Line Behavioural Descriptions. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 146\u2013161. Springer, Heidelberg (2012)"},{"key":"10_CR2","series-title":"LNCS","first-page":"238","volume-title":"ISoLA 2012, Part I","author":"S. Autexier","year":"2012","unstructured":"Autexier, S., Dietrich, D., Hutter, D., L\u00fcth, C., Maeder, C.: SmartTies Management of Safety-Critical Developments. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 238\u2013252. Springer, Heidelberg (2012)"},{"key":"10_CR3","series-title":"LNCS","first-page":"162","volume-title":"ISoLA 2012, Part I","author":"E. Bodden","year":"2012","unstructured":"Bodden, E., Falzon, K., Pun, K.I., Stolz, V.: Delta-oriented Monitor Specification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 162\u2013176. Springer, Heidelberg (2012)"},{"key":"10_CR4","series-title":"LNCS","first-page":"269","volume-title":"ISoLA 2012, Part I","author":"M. Bravetti","year":"2012","unstructured":"Bravetti, M., Di Giusto, C., P\u00e9rez, J.A., Zavattaro, G.: Towards the Verification of Adaptable Processes. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 269\u2013283. Springer, Heidelberg (2012)"},{"key":"10_CR5","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":"10_CR6","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley Longman (2001)"},{"key":"10_CR7","series-title":"LNCS","first-page":"193","volume-title":"ISoLA 2012, Part I","author":"F. Damiani","year":"2012","unstructured":"Damiani, F., Schaefer, I.: Family-based Analysis of Type Safety for Delta-Oriented Software Product Lines. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 193\u2013207. Springer, Heidelberg (2012)"},{"key":"10_CR8","series-title":"LNCS","first-page":"208","volume-title":"ISoLA 2012, Part I","author":"X. Devroey","year":"2012","unstructured":"Devroey, X., Cordy, M., Perrouin, G., Kang, E., Schobbens, P.-Y., Heymans, P., Legay, A., Baudry, B.: Towards Behavioural Model-Driven Validation of Software Product Lines. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 208\u2013222. Springer, Heidelberg (2012)"},{"key":"10_CR9","series-title":"LNCS","first-page":"253","volume-title":"ISoLA 2012, Part I","author":"J. Dovland","year":"2012","unstructured":"Dovland, J., Johnsen, E.B., Yu, I.C.: Tracking Behavioral Constraints During Object-Oriented Software Evolution. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 253\u2013268. Springer, Heidelberg (2012)"},{"issue":"1","key":"10_CR10","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":"10_CR11","series-title":"LNCS","first-page":"178","volume-title":"ISoLA 2012, Part I","author":"M. Lienhardt","year":"2012","unstructured":"Lienhardt, M., Clarke, D.: Conflict Detection in Delta-Oriented Programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 178\u2013192. Springer, Heidelberg (2012)"},{"key":"10_CR12","series-title":"LNCS","first-page":"223","volume-title":"ISoLA 2012, Part I","author":"M. Lochau","year":"2012","unstructured":"Lochau, M., Kamischke, J.: Parameterized Preorder Relations for Model-based Testing of Software Product Lines. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 223\u2013237. Springer, Heidelberg (2012)"},{"key":"10_CR13","unstructured":"Parnas, D.: Software aging. In: ICSE, pp. 279\u2013287 (1994)"},{"key":"10_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering - Foundations, Principles, and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer, Heidelberg (2005)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Rabiser, R., Clarke, D., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujilol, S., Villela, K.: Software Diversity \u2013 State of the Art and Perspectives. In: STTT (October 2012)","DOI":"10.1007\/s10009-012-0253-y"},{"key":"10_CR16","series-title":"LNCS","first-page":"131","volume-title":"ISoLA 2012, Part I","author":"M. Leucker","year":"2012","unstructured":"Leucker, M., Thoma, D.: A Formal Approach to Software Product Families. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 131\u2013145. Springer, Heidelberg (2012)"},{"key":"10_CR17","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Kuhlemann, M., Schaefer, I., Saake, G.: Analysis Strategies for Software Product Lines. Technical Report FIN-004-2012, School of Computer Science, University of Magdeburg, Germany (April 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_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:41:12Z","timestamp":1620132072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}