{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:26:17Z","timestamp":1743135977085,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319465074"},{"type":"electronic","value":"9783319465081"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46508-1_1","type":"book-chapter","created":{"date-parts":[[2016,9,21]],"date-time":"2016-09-21T21:53:39Z","timestamp":1474494819000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Introduction to the First Issue of FoMaC"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Steffen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,23]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/978-3-319-46508-1_2","volume-title":"Transactions on FoMaC I","author":"T Margaria","year":"2016","unstructured":"Margaria, T.: Knowledge management for inclusive system evolution. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 7\u201321. Springer, Heidelberg (2016)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/978-3-319-46508-1_13","volume-title":"Transactions on FoMaC I","author":"B Celebic","year":"2016","unstructured":"Celebic, B., Breu, R., Felderer, M.: Traceability types for mastering change in collaborative software quality management. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 242\u2013256. Springer, Heidelberg (2016)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-3-319-46508-1_4","volume-title":"Transactions on FoMaC I","author":"A Rensink","year":"2016","unstructured":"Rensink, A.: Model patterns: the quest for the right level of abstraction. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 47\u201370. Springer, Heidelberg (2016)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/978-3-319-46508-1_3","volume-title":"Transactions on FoMaC I","author":"B Steffen","year":"2016","unstructured":"Steffen, B., Naujokat, S.: Archimedean points: the essence for mastering change. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 22\u201346. Springer, Heidelberg (2016)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","first-page":"90","volume-title":"Transactions on FoMaC I","author":"M Hinchey","year":"2016","unstructured":"Hinchey, M.: Good change and bad change: an analysis perspective on software evolution. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 90\u2013112. Springer, Heidelberg (2016)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/978-3-319-46508-1_7","volume-title":"Transactions on FoMaC I","author":"S Tripakis","year":"2016","unstructured":"Tripakis, S.: Compositional model-based system design and other foundations for mastering change. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 113\u2013129. Springer, Heidelberg (2016)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/978-3-319-46508-1_8","volume-title":"Transactions on FoMaC I","author":"R Bubel","year":"2016","unstructured":"Bubel, R., Damiani, F., H\u00e4hnle, R., Johnsen, E., Owe, O., Schaefer, I., Yu, I.: Proof repositories for compositional verification of evolving software systems. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 130\u2013156. Springer, Heidelberg (2016)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-3-319-46508-1_5","volume-title":"Transactions on FoMaC I","author":"K Havelund","year":"2016","unstructured":"Havelund, K., Kumar, R.: Verified change. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 71\u201389. Springer, Heidelberg (2016)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-3-319-46508-1_9","volume-title":"Transactions on FoMaC I","author":"A Legay","year":"2016","unstructured":"Legay, A., Traonouez, L.M.: Statistical model checking with change detection. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 157\u2013179. Springer, Heidelberg (2016)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","first-page":"180","volume-title":"Transactions on FoMaC I","author":"M Wirsing","year":"2016","unstructured":"Wirsing, M., H\u00f6lzl, M., Koch, N., Belzner, L.: Collective autonomic systems: towards engineering principles and their foundations. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 180\u2013200. Springer, Heidelberg (2016)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-3-319-46508-1_11","volume-title":"Transactions on FoMaC I","author":"M H\u00f6lzl","year":"2016","unstructured":"H\u00f6lzl, M., Gabor, T.: Continuous collaboration for changing environments. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 201\u2013224. Springer, Heidelberg (2016)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-3-319-46508-1_12","volume-title":"Transactions on FoMaC I","author":"M Felderer","year":"2016","unstructured":"Felderer, M.: Issues on software quality models for mastering change. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 225\u2013241. Springer, Heidelberg (2016)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Foundations for Mastering Change I"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46508-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T19:24:30Z","timestamp":1498332270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46508-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319465074","9783319465081"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46508-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}