{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:19:13Z","timestamp":1725585553999},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214691"},{"type":"electronic","value":"9783642214707"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21470-7_18","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T10:57:17Z","timestamp":1307703437000},"page":"253-269","source":"Crossref","is-referenced-by-count":2,"title":["Analyzing Variability: Capturing Semantic Ripple Effects"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Svendsen","sequence":"first","affiliation":[]},{"given":"\u00d8ystein","family":"Haugen","sequence":"additional","affiliation":[]},{"given":"Birger","family":"M\u00f8ller-Pedersen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"4th International Workshop on Model Driven Engineering, Verification and Validation, in conjunction with MoDELS 2007","author":"K. Anastasakis","year":"2008","unstructured":"Anastasakis, K., Bordbar, B., K\u00fcster, J.M.: Analysis of Model Transformations Via Alloy. In: Baudry, B., Faivre, A., Ghosh, S., Pretschner, A. (eds.) 4th International Workshop on Model Driven Engineering, Verification and Validation, in conjunction with MoDELS 2007, Nashville, TN, USA. Springer, Heidelberg (2008)"},{"key":"18_CR2","unstructured":"Andoni, A., Daniliuc, D., Khurshid, S., Marinov, D.: Evaluating the Small Scope Hypothesis. MIT CSAIL MIT-LCS-TR-921 (2003)"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/11841883_22","volume-title":"Graph Transformations","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Spoletini, P.: On the Use of Alloy to Analyze Graph Transformation Systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 306\u2013320. Springer, Heidelberg (2006)"},{"key":"18_CR4","unstructured":"EMF, Eclipse Modeling Framework (Emf), http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Endresen, J., Carlson, E., Moen, T., Alme, K.-J., Haugen, \u00d8., Olsen, G.K., Svendsen, A.: Train Control Language - Teaching Computers Interlocking. In: Computers in Railways XI (COMPRAIL 2008), Toledo, Spain (2008)","DOI":"10.2495\/CR080631"},{"key":"18_CR6","unstructured":"Fleurey, F., Haugen, \u00d8., M\u00f8ller-Pedersen, B., Olsen, G.K., Svendsen, A., Zhang, X.: A Generic Language and Tool for Variability Modeling, SINTEF, Oslo, Norway, Technical Report SINTEF A13505 (2009)"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.entcs.2007.08.004","volume":"190","author":"G. Fraser","year":"2007","unstructured":"Fraser, G., Aichernig, B.K., Wotawa, F.: Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. Electronic Notes in Theoretical Computer Science\u00a0190, 33\u201346 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"18_CR8","unstructured":"Gheyi, R., Massoni, T., Borba, P.: A Theory for Feature Models in Alloy. In: First Alloy Workshop, Portland, United States, pp. 71\u201380 (2006)"},{"key":"18_CR9","unstructured":"GMF, Eclipse Graphical Modeling Framework (Gmf), http:\/\/www.eclipse.org\/modeling\/gmf\/"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Haugen, O., M\u00f8ller-Pedersen, B., Oldevik, J., Olsen, G.K., Svendsen, A.: Adding Standardized Variability to Domain Specific Languages. In: SPLC 2008, Limerick, Ireland (2008)","DOI":"10.1109\/SPLC.2008.25"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s10270-005-0087-0","volume":"4","author":"\u00d8. Haugen","year":"2005","unstructured":"Haugen, \u00d8., Husa, K., Runde, R., St\u00f8len, K.: Stairs Towards Formal Design with Sequence Diagrams. Software and Systems Modeling\u00a04, 355\u2013357 (2005)","journal-title":"Software and Systems Modeling"},{"key":"18_CR12","first-page":"351","volume-title":"Models, Algebras and Logic of Engineering Software","author":"D. Jackson","year":"2003","unstructured":"Jackson, D.: Micromodels of Software. In: Broy, M., Pizka, M. (eds.) Models, Algebras and Logic of Engineering Software, pp. 351\u2013384. IOS Press, Amsterdam (2003)"},{"key":"18_CR13","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1007\/978-3-540-87875-9_48","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Kelsen","year":"2008","unstructured":"Kelsen, P., Ma, Q.: A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 690\u2013704. Springer, Heidelberg (2008)"},{"key":"18_CR15","unstructured":"Oldevik, J.: Mofscript Eclipse Plug-In: Metamodel-Based Code Generation. In: Eclipse Technology Workshop (EtX) at ECOOP 2006, Nantes (2006)"},{"key":"18_CR16","unstructured":"Svendsen, A.: Application Reconfiguration Based on Variability Transformations, School of Computing, Queen\u2019s University, Kingston, Canada, Technical Report 2009-566 (2009)"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Svendsen, A., M\u00f8ller-Pedersen, B., Haugen, \u00d8., Endresen, J., Carlson, E.: Formalizing Train Control Language: Automating Analysis of Train Stations. In: Comprail 2010, Beijing, China (2010)","DOI":"10.2495\/CR100241"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-87875-9_9","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Svendsen","year":"2008","unstructured":"Svendsen, A., Olsen, G.K., Endresen, J., Moen, T., Carlson, E., Alme, K.-J., Haugen, O.: The Future of Train Signaling. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 128\u2013142. Springer, Heidelberg (2008)"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-15579-6_8","volume-title":"Software Product Lines: Going Beyond","author":"A. Svendsen","year":"2010","unstructured":"Svendsen, A., Zhang, X., Lind-Tviberg, R., Fleurey, F., Haugen, \u00d8., M\u00f8ller-Pedersen, B., Olsen, G.K.: Developing a Software Product Line for Train Control: A Case Study of Cvl. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 106\u2013120. Springer, Heidelberg (2010)"},{"key":"18_CR20","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1109\/ISSRE.2008.56","volume-title":"Proceedings of the 2008 19th International Symposium on Software Reliability Engineering","author":"E. Uzuncaova","year":"2008","unstructured":"Uzuncaova, E., Garcia, D., Khurshid, S., Batory, D.: Testing Software Product Lines Using Incremental Test Generation. In: Proceedings of the 2008 19th International Symposium on Software Reliability Engineering, pp. 249\u2013258. IEEE Computer Society, Los Alamitos (2008)"},{"key":"18_CR21","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1109\/TSE.2010.30","volume":"36","author":"E. Uzuncaova","year":"2010","unstructured":"Uzuncaova, E., Khurshid, S., Batory, D.: Incremental Test Generation for Software Product Lines. IEEE Trans. Softw. Eng.\u00a036, 309\u2013322 (2010)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21470-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T12:33:37Z","timestamp":1560256417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21470-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214691","9783642214707"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21470-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}