{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:11:41Z","timestamp":1773148301538,"version":"3.50.1"},"reference-count":49,"publisher":"Institution of Engineering and Technology (IET)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2008,6,16]]},"DOI":"10.1049\/iet-sen:20070055","type":"journal-article","created":{"date-parts":[[2008,6,12]],"date-time":"2008-06-12T22:46:17Z","timestamp":1213310777000},"page":"281-302","source":"Crossref","is-referenced-by-count":44,"title":["Evaluating formal properties of feature diagram languages"],"prefix":"10.1049","volume":"2","author":[{"given":"P.","family":"Heymans","sequence":"first","affiliation":[{"name":"Faculty of Computer Science, PReCISE Research Centre, University of Namur, Belgium,"}]},{"given":"P.-Y.","family":"Schobbens","sequence":"additional","affiliation":[{"name":"Faculty of Computer Science, PReCISE Research Centre, University of Namur, Belgium,"}]},{"given":"J.-C.","family":"Trigaux","sequence":"additional","affiliation":[{"name":"Faculty of Computer Science, PReCISE Research Centre, University of Namur, Belgium,"}]},{"given":"Y.","family":"Bontemps","sequence":"additional","affiliation":[{"name":"Faculty of Computer Science, PReCISE Research Centre, University of Namur, Belgium,"}]},{"given":"R.","family":"Matulevic\u030cius","sequence":"additional","affiliation":[{"name":"Faculty of Computer Science, PReCISE Research Centre, University of Namur, Belgium,"}]},{"given":"A.","family":"Classen","sequence":"additional","affiliation":[{"name":"Faculty of Computer Science, PReCISE Research Centre, University of Namur, Belgium,"}]}],"member":"265","reference":[{"key":"10.1049\/iet-sen:20070055_r1","unstructured":"Clements, P.C., and Northrop, L.: \u2018Software product lines: practices and patterns\u2019, SEI Series in Software Engineering, (Addison-Wesley 2001)"},{"key":"10.1049\/iet-sen:20070055_r2","author":"Foreman","year":"1996","journal-title":"Software Technology Conf."},{"key":"10.1049\/iet-sen:20070055_r3","doi-asserted-by":"crossref","unstructured":"Pohl, K., Bockle, G., and Van Der Linden, F.: \u2018Software product line engineering: foundations, principles and techniques\u2019, (Springer 2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"10.1049\/iet-sen:20070055_r4","unstructured":"\u2018Feature-oriented domain analysis (FODA) feasibility study\u2019, Technical Report CMU\/SEI-90-TR-21, November, 1990 Software Engineering Institute, Carnegie Mellon University"},{"key":"10.1049\/iet-sen:20070055_r5","author":"Cohen","year":"2002","journal-title":"Proc. Workshop on Techniques for Exploiting Commonality through Variability Management at the Second Int. Conf. Software Product Lines (SPLC'02)"},{"key":"10.1049\/iet-sen:20070055_r6","first-page":"48","author":"Bontemps","year":"2004","journal-title":"Proc. Workshop on Software Variability Management for Product Derivation: Towards Tool Support"},{"key":"10.1049\/iet-sen:20070055_r7","first-page":"456","author":"Schobbens","year":"2007"},{"key":"10.1049\/iet-sen:20070055_r8","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1109\/RE.2006.23","author":"Schobbens","year":"2006","journal-title":"Proc. 14th IEEE Int. Requirements Engineering Conf. (RE'06)"},{"key":"10.1049\/iet-sen:20070055_r9","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"Kang","year":"1998","ISSN":"https:\/\/id.crossref.org\/issn\/1022-7091","issn-type":"print"},{"key":"10.1049\/iet-sen:20070055_r10","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/ICSR.1998.685732","author":"Griss","year":"1998","journal-title":"Proc. 5th Int. Conf. Software Reuse (ICSR'98)"},{"key":"10.1049\/iet-sen:20070055_r11","unstructured":"Eisenecker, U.W., and Czarnecki, K.: \u2018Generative programming: methods, tools, and applications\u2019, (Addison-Wesley 2000)"},{"key":"10.1049\/iet-sen:20070055_r12","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/11554844_5","author":"Eriksson","year":"2005","journal-title":"Proc. 9th Int. Conf. Software Product Lines (SPLC'05)"},{"key":"10.1049\/iet-sen:20070055_r13","author":"Riebisch","year":"2002","journal-title":"Proc. 6th Conf. Integrated Design and Process Technology (IDPT '02)"},{"key":"10.1049\/iet-sen:20070055_r14","author":"Riebisch","year":"2003","journal-title":"Position Paper in Modelling Variability for Object-oriented Product Lines"},{"key":"10.1049\/iet-sen:20070055_r15","author":"Van Gurp","year":"2001","journal-title":"Proc. Working IEEE\/IFIP Conf. Software Architecture (WICSA'01)"},{"key":"10.1049\/iet-sen:20070055_r16","author":"Moody","year":"2006","journal-title":"Proc. 15th Int. Conf. Information Systems Development (ISD'06)"},{"key":"10.1049\/iet-sen:20070055_r17","author":"Trigaux","year":"2006","journal-title":"Proc. Workshop on Comparative Evaluation in Requirements Engineering (CERE'06)"},{"key":"10.1049\/iet-sen:20070055_r18","first-page":"1","volume":"10","author":"Van Deursen","year":"2002"},{"key":"10.1049\/iet-sen:20070055_r19","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-45652-X_11","volume":"2379","author":"Mannion","year":"2002","journal-title":"Proc. 2nd Softw. Product Line Conf. (SPLC'02)"},{"key":"10.1049\/iet-sen:20070055_r20","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1002\/spip.225","volume":"10","author":"Czarnecki","year":"2005","ISSN":"https:\/\/id.crossref.org\/issn\/1077-4866","issn-type":"print"},{"key":"10.1049\/iet-sen:20070055_r21","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1002\/spip.213","volume":"10","author":"Czarnecki","year":"2005","ISSN":"https:\/\/id.crossref.org\/issn\/1077-4866","issn-type":"print"},{"key":"10.1049\/iet-sen:20070055_r22","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/11554844_3","author":"Batory","year":"2005","journal-title":"Proc. 9th Int. Conf. Software Product Lines (SPLC'05)"},{"key":"10.1049\/iet-sen:20070055_r23","first-page":"491","volume":"3520","author":"Benavides","year":"2005","journal-title":"Proc. 17th Int. Conf. (CAiSE'05) LNCS, Advanced Information Systems Engineering"},{"key":"10.1049\/iet-sen:20070055_r24","first-page":"303","author":"Sun","year":"2005","journal-title":"Proc. 10th IEEE Int. Conf. Engineering of Complex Computer Systems (ICECCS '05)"},{"key":"10.1049\/iet-sen:20070055_r25","author":"Wang","year":"2005","journal-title":"Proc. Int. Workshop on Semantic Web Enabled Software Engineering (SWESE'05)"},{"key":"10.1049\/iet-sen:20070055_r26","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/SPLINE.2006.1691575","author":"Asikainen","year":"2006","journal-title":"Proc. 10th Int. Software Product Line Conf."},{"key":"10.1049\/iet-sen:20070055_r27","first-page":"64","volume":"37","author":"Harel","year":"2004"},{"key":"10.1049\/iet-sen:20070055_r28","unstructured":"\u2018Modeling languages: syntax, semantics and all that stuff, part I: the basic stuff\u2019, Technical Report MCS00-16, 2000 Faculty of Mathematics and Computer Science, The Weizmann Institute of Science"},{"key":"10.1049\/iet-sen:20070055_r29","doi-asserted-by":"crossref","unstructured":"Krogstie, J.: \u2018Using a semiotic framework to evaluate UML for the development of models of high quality\u2019, Unified modeling language: system analysis, design and develoment issues, (IDEA Group Publishing 2001), p. 89\u2013106","DOI":"10.4018\/978-1-930708-05-1.ch006"},{"key":"10.1049\/iet-sen:20070055_r30","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1057\/palgrave.ejis.3000598","volume":"15","author":"Krogstie","year":"2006","ISSN":"https:\/\/id.crossref.org\/issn\/0960-085X","issn-type":"print"},{"key":"10.1049\/iet-sen:20070055_r31","author":"Heymans","year":"2007","journal-title":"Software and Services Variability Management Workshop Concepts, Models and Tools (SVM07)"},{"key":"10.1049\/iet-sen:20070055_r32","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/52.268955","volume":"11","author":"Lindland","year":"1994","ISSN":"https:\/\/id.crossref.org\/issn\/0740-7459","issn-type":"print"},{"key":"10.1049\/iet-sen:20070055_r33","first-page":"211","volume":"1507","author":"Moody","year":"1998","journal-title":"Proc. 17th Int. Conf. Conceptual Modeling (ER '98)"},{"key":"10.1049\/iet-sen:20070055_r34","first-page":"619","volume":"28","author":"Moody","year":"2003"},{"key":"10.1049\/iet-sen:20070055_r35","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/3-540-45594-9_3","author":"Becker","year":"2000","journal-title":"Business Process Management"},{"key":"10.1049\/iet-sen:20070055_r36","unstructured":"\u2018Comparing feature diagram examples found in the research literature\u2019, Technical Report, 2007 University of Duisburg-Essen"},{"key":"10.1049\/iet-sen:20070055_r37","unstructured":"OMG: \u2018UML 2.0 Superstructure Specification\u2019, available at: http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-04, Last Checked: 12\/08"},{"key":"10.1049\/iet-sen:20070055_r38","author":"Benavides","year":"2006","journal-title":"Jornadas de Ingenieri\u0301a del Software y Bases de Datos (JISBD'06)"},{"key":"10.1049\/iet-sen:20070055_r39","first-page":"16","volume":"4961","author":"Classen","year":"2008","journal-title":"Proc. 11th Int. Conf. Fundamental Approaches to Software Engineering (FASE'08), Held as Part of the Joint European Conf. Theory and Practice of Software (ETAPS'08)"},{"key":"10.1049\/iet-sen:20070055_r40","unstructured":"Tarski, A.: \u2018Logics, semantics and metamathematics\u2019, (Clarendon Press 1956)"},{"key":"10.1049\/iet-sen:20070055_r41","unstructured":"Adamek, J., Herrlich, H., and Strecker, G.: \u2018Abstract and concrete categories\u2019, (Wiley 1990)"},{"key":"10.1049\/iet-sen:20070055_r42","first-page":"134","volume":"432","author":"Felleisen","year":"1990","journal-title":"Proc. 3rd European Symp. Programming (ESOP '90)"},{"key":"10.1049\/iet-sen:20070055_r43","unstructured":"Kleene, S.C.: \u2018Introduction to metamathematics, vol. 1 of bibliotheca mathematica\u2019, North-Holland, Amsterdam 1952)"},{"key":"10.1049\/iet-sen:20070055_r44","first-page":"191","volume":"20","author":"Janssens","year":"1980"},{"key":"10.1049\/iet-sen:20070055_r45","unstructured":"Papadimitriou, C.H.: \u2018Computational complexity\u2019, (Addison-Wesley 1994)"},{"key":"10.1049\/iet-sen:20070055_r46","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/CERE.2006.2","author":"Djebbi","year":"2006","journal-title":"Workshop on Comparative Evaluation in Requirements Engineering (CERE'06)"},{"key":"10.1049\/iet-sen:20070055_r47","author":"Metzger","year":"2007","journal-title":"Proc. 15th IEEE Int. Requirements Engineering Conf. (RE'07)"},{"key":"10.1049\/iet-sen:20070055_r48","author":"Delannay","year":"2007","journal-title":"Proc. Workshop on Open Source Software and Product Lines (OSSPL'07)"},{"key":"10.1049\/iet-sen:20070055_r49","author":"Moody","year":"2006","journal-title":"Proc. 12th Working Conf. Requirements Engineering: Foundation for Software Quality (REFSQ '06)"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen_20070055?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T18:24:17Z","timestamp":1731435857000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen%3A20070055"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,16]]},"references-count":49,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,6,16]]}},"alternative-id":["10.1049\/iet-sen:20070055"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen:20070055","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"value":"1751-8806","type":"print"},{"value":"1751-8814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,6,16]]}}}