{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:25:57Z","timestamp":1725557157257},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642125430"},{"type":"electronic","value":"9783642125447"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12544-7_18","type":"book-chapter","created":{"date-parts":[[2010,5,27]],"date-time":"2010-05-27T10:27:10Z","timestamp":1274956030000},"page":"319-333","source":"Crossref","is-referenced-by-count":6,"title":["Quality Assurance in the Presence of Variability"],"prefix":"10.1007","author":[{"given":"Kim","family":"Lauenroth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Metzger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Pohl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,5,5]]},"reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/32.210305","volume":"19","author":"J Atlee","year":"1993","unstructured":"Atlee J, Gannon J (1993) State-based model checking of event-driven system requirements. IEEE Trans Softw Eng 19(1):24\u201340","journal-title":"IEEE Trans Softw Eng"},{"issue":"2","key":"18_CR2","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E Clarke","year":"1986","unstructured":"Clarke E, Emerson A, Sistla P (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM TOPLAS 8(2):244\u2013263","journal-title":"ACM TOPLAS"},{"key":"18_CR3","unstructured":"Clarke E, Grumberg O, Peled D (1999) Model checking. MIT, Cambridge"},{"issue":"2","key":"18_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.jss.2003.11.012","volume":"74","author":"S Deelstra","year":"2005","unstructured":"Deelstra S, Sinnema M, Bosch J (2005) Product derivation in software product families: a case study. J Systems Softw 74(2):173\u2013194","journal-title":"J Systems Softw"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Emerson E, Kahlon V (2004) Parameterized model checking of ring-based message passing systems. In: Computer science logic. LNCS, vol 3210. Springer, pp 325\u2013339","DOI":"10.1007\/978-3-540-30124-0_26"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Grumberg O, Veith H (2008) 25 years of model checking. LNCS, vol 5000, Springer","DOI":"10.1007\/978-3-540-69850-0"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Larsen K, Nyman U, W\u0105sowski A (2007) Modal I\/O automata for interface and product line theories. In: Proceedings of 16th European symposium on programming. LNCS, vol 4421. Springer, pp 64\u201379","DOI":"10.1007\/978-3-540-71316-6_6"},{"key":"18_CR8","volume-title":"Konsistenzpr\u00fcfung von Dom\u00e4nenanforderungsspezifikationen","author":"K Lauenroth","year":"2009","unstructured":"Lauenroth K (2009) Konsistenzpr\u00fcfung von Dom\u00e4nenanforderungsspezifikationen. Phd Thesis (in German). Logos, Berlin"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Lauenroth K, Pohl K (2008) Dynamic consistency checking of domain requirements in product line engineering. In: Proceedings of IEEE international requirements engineering conference, IEEE, Los Alamitos, pp 193\u2013202","DOI":"10.1109\/RE.2008.21"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Lauenroth K, Pohl K (2009) Model checking of domain artifacts in product line engineering. In: Proceedings of the ACM\/IEEE international conference on automated software engineering, Los Alamitos, pp 269\u2013280","DOI":"10.1109\/ASE.2009.16"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Lauenroth K, Pohl K (2007) Towards automated consistency checks of product line requirements specifications. In: Proceedings of the ACM\/IEEE international conference on automated software engineering, Atlanta, pp 373\u2013376","DOI":"10.1145\/1321631.1321687"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"1879","DOI":"10.1016\/j.jss.2007.01.047","volume":"80","author":"J Liu","year":"2007","unstructured":"Liu J, Dehlinger R, Lutz R (2007) Safety analysis of software product lines using state-based modelling. J Systems Softw 80:1879\u20131892","journal-title":"J Systems Softw"},{"issue":"3","key":"18_CR13","first-page":"219","volume":"2","author":"M Lynch","year":"1989","unstructured":"Lynch M, Tuttle M (1989) An introduction to input\/output automata. CWI Quater 2(3):219\u2013246","journal-title":"CWI Quater"},{"issue":"6","key":"18_CR14","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1002\/spe.645","volume":"35","author":"A Maccari","year":"2005","unstructured":"Maccari A, Heie A (2005) Managing infinite variability in mobile terminal software. Softw Pract Exper 35(6):513\u2013537","journal-title":"Softw Pract Exper"},{"key":"18_CR15","unstructured":"Metzger A (2007) Quality issues in software product lines: feature interactions and beyond (invited talk). In: 9th international conference on feature interactions in software and communication systems (ICFI 2007), Grenoble, pp 3\u201315"},{"key":"18_CR16","unstructured":"Metzger A, B\u00fchne S, Lauenroth K, Pohl K (2005) Considering feature interactions in product lines: towards the automatic derivation of dependencies between product variants. In: Feature interactions in telecommunications and software systems VIII. Proceedings ICFI, pp 198\u2013216"},{"key":"18_CR17","unstructured":"Metzger A, Heymans P, Pohl K, Schobbens P-Y, Saval G (2007) Disambiguating the documentation of variability in software product lines. In: Proceedings of RE\u201907, Los Alamitos, pp 243\u2013253"},{"issue":"12","key":"18_CR18","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1183236.1183271","volume":"49","author":"K Pohl","year":"2006","unstructured":"Pohl K, Metzger A (2006) Software product line testing. Commun ACM 49(12):78\u201381","journal-title":"Commun ACM"},{"key":"18_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software product line engineering \u2013 foundations, principles, and techniques","author":"K Pohl","year":"2005","unstructured":"Pohl K, B\u00f6ckle G, van der Linden F (2005) Software product line engineering \u2013 foundations, principles, and techniques. Springer, Heidelberg"},{"key":"18_CR20","first-page":"202","volume":"3084","author":"J Ralyte","year":"2004","unstructured":"Ralyte J, Rolland C, Deneck\u00e8re R (2004) Towards a meta-tool for change-centric method engineering: a typology of generic operators. In: Proceedings of CAiSE. LNCS, vol 3084, pp 202\u2013218","journal-title":"LNCS"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Ralyt\u00e9 J, Rolland C, Ben Ayed M (2005) An approach for evolution-driven method engineering. In: Krogstie J, Halpin T, Siau K (eds) Information modeling methods and methodologies. IDEA Group, USA, pp 80\u2013100","DOI":"10.4018\/978-1-59140-375-3.ch005"},{"issue":"3","key":"18_CR22","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1002\/spip.416","volume":"14","author":"C Rolland","year":"2009","unstructured":"Rolland C (2009) Method engineering: towards methods as services. Software Process: Improvement and Practice (SPIP), Special issue on Software Processes 14(3):143\u2013164","journal-title":"Special issue on Software Processes"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Rolland C, Grosz G, Kla R (1999) Experience with goal-scenario coupling in requirements engineering. In: Proceedings of IEEE international requirements engineering conference, Los Alamitos, pp 74\u201381","DOI":"10.1109\/ISRE.1999.777987"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Rolland C, Nurcan S (2010) Business process lines to deal with the variability. In: Proceedings of the Hawaii international conference on system sciences (HICSS), Hawaii, USA","DOI":"10.1109\/HICSS.2010.88"},{"key":"18_CR25","unstructured":"Rolland C, Prakash N, Kaabi R (2007) Variability in business process families. Information Resources Management Association (IRMA)"},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Rolland C, Salinesi C (2009) Supporting requirements elicitation through goal\/scenario coupling. In: Conceptual modeling: foundations and applications. LNCS, vol 5600. Springer, pp 398\u2013416","DOI":"10.1007\/978-3-642-02463-4_21"},{"issue":"12","key":"18_CR27","doi-asserted-by":"publisher","first-page":"1055","DOI":"10.1109\/32.738339","volume":"24","author":"C Rolland","year":"1998","unstructured":"Rolland C, Souveyet C, Ben Achour C (1998) Guiding goal modelling using scenarios. IEEE Trans Softw Eng, Special Issue on Scenario Manage 24(12):1055\u20131071","journal-title":"IEEE Trans Softw Eng, Special Issue on Scenario Manage"},{"key":"18_CR28","volume-title":"An ontology of verification criteria in the product line domain. Centre de Recherche en Informatique (CRI)","author":"C Salinesi","year":"2009","unstructured":"Salinesi C, Rolland C, Mazo R (2009) An ontology of verification criteria in the product line domain. Centre de Recherche en Informatique (CRI), Universit\u00e9 Panth\u00e9on Sorbonn, Paris, France"},{"key":"18_CR29","unstructured":"Salinesi C, Rolland C, Mazo R (2009) VMWare: tool support for automatic verification of structural and semantic correctness in product line models. In: Proceedings of VaMoS 2009, Sevilla, Spain, Essen, pp 173\u2013176"},{"key":"18_CR30","unstructured":"Savolainen J, Kuusela J (2001) Consistency management of product line requirements. In: Proceedings of IEEE international requirements engineering conference, Los Alamitos, pp 40\u201347"}],"container-title":["Intentional Perspectives on Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12544-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T16:12:28Z","timestamp":1552579948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12544-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642125430","9783642125447"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12544-7_18","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}