Goal-oriented modeling and verification of feature-oriented product lines

[1]  Daniel Amyot,et al.  AoURN-based modeling and analysis of software product lines , 2012, Software Quality Journal.

[2]  Gerd Gröner,et al.  Validation of User Intentions in Process Models , 2012, CAiSE.

[3]  Neil A. Ernst,et al.  Agile Requirements Evolution via Paraconsistent Reasoning , 2012, CAiSE.

[4]  Jianmei Guo,et al.  Consistency maintenance for evolving feature models , 2012, Expert Syst. Appl..

[5]  Mathieu Acher,et al.  Separation of concerns in feature modeling: support and applications , 2012, AOSD.

[6]  John Mylopoulos,et al.  Representing and reasoning about preferences in requirements engineering , 2011, Requirements Engineering.

[7]  Marin Litoiu,et al.  Goal-Based Behavioral Customization of Information Systems , 2011, CAiSE.

[8]  Marek Hatala,et al.  Goal-driven software product line engineering , 2011, SAC.

[9]  João Araújo,et al.  Aspect-oriented analysis for software product lines requirements engineering , 2011, SAC.

[10]  Thais Batista,et al.  On the integration of the feature model and PL-AOVGraph , 2011 .

[11]  Eric Yu,et al.  Social Modeling for Requirements Engineering , 2011, Cooperative information systems.

[12]  Raian Ali,et al.  A goal-based framework for contextual requirements modeling and analysis , 2010, Requirements Engineering.

[13]  Neil A. Ernst,et al.  Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling , 2010, 2010 18th IEEE International Requirements Engineering Conference.

[14]  Daniel Amyot,et al.  Evaluating goal models within the goal‐oriented requirement language , 2010, Int. J. Intell. Syst..

[15]  Douglas C. Schmidt,et al.  Automated diagnosis of feature model configurations , 2010, J. Syst. Softw..

[16]  John D. McGregor,et al.  Guest Editors' Introduction: Successful Software Product Line Practices , 2010, IEEE Softw..

[17]  João Araújo,et al.  Adapting the i* Framework for Software Product Lines , 2009, ER Workshops.

[18]  Carla Schuenemann,et al.  A Comparison of Goal-Oriented Approaches to Model Software Product Lines Variability , 2009, ER Workshops.

[19]  Julio Cesar Sampaio do Prado Leite,et al.  On Non-Functional Requirements in Software Engineering , 2009, Conceptual Modeling: Foundations and Applications.

[20]  Axel van Lamsweerde,et al.  Requirements Engineering: From System Goals to UML Models to Software Specifications , 2009 .

[21]  Yijun Yu,et al.  From Goals to High-Variability Software Design , 2008, ISMIS.

[22]  Christian Wende,et al.  FeatureMapper: mapping features to models , 2008, ICSE Companion '08.

[23]  Mikolás Janota,et al.  Formal Approach to Integrating Feature and Architecture Models , 2008, FASE.

[24]  Yijun Yu,et al.  Configuring features with stakeholder goals , 2008, SAC '08.

[25]  Pierre-Yves Schobbens,et al.  Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).

[26]  William R. Cook,et al.  Safe composition of product lines , 2007, GPCE '07.

[27]  Yijun Yu,et al.  Requirements-Driven Design and Configuration Management of Business Processes , 2007, BPM.

[28]  Jeff Z. Pan,et al.  Verifying feature models using OWL , 2007, J. Web Semant..

[29]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[30]  Tijs van der Storm,et al.  Generic Feature-Based Software Composition , 2007, SC@ETAPS.

[31]  Antonio Ruiz Cortés,et al.  Automated analysis of feature models: challenges ahead , 2006, CACM.

[32]  Krzysztof Czarnecki,et al.  Verifying feature-based model templates against well-formedness OCL constraints , 2006, GPCE '06.

[33]  Yijun Yu,et al.  On Goal-based Variability Acquisition and Analysis , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[34]  Pierre-Yves Schobbens,et al.  Feature Diagrams: A Survey and a Formal Semantics , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[35]  Michal Antkiewicz,et al.  Mapping features to models: a template approach based on superimposed variants , 2005, GPCE'05.

[36]  Yijun Yu,et al.  Configuring common personal software: a requirements-driven approach , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[37]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

[38]  John Mylopoulos,et al.  Goal-oriented requirements analysis and reasoning in the Tropos methodology , 2005, Eng. Appl. Artif. Intell..

[39]  John Mylopoulos,et al.  Simple and Minimum-Cost Satisfiability for Goal Models , 2004, CAiSE.

[40]  Armin Eberlein,et al.  Aspect-oriented requirements engineering for software product lines , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[41]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[42]  David M. Weiss,et al.  Software Product-Line Engineering: A Family-Based Software Development Process , 1999 .

[43]  Raymond J. Madachy,et al.  Software process simulation modeling: Why? What? How? , 1999, J. Syst. Softw..

[44]  Jaejoon Lee,et al.  FORM: A feature-;oriented reuse method with domain-;specific reference architectures , 1998, Ann. Softw. Eng..

[45]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[46]  Raian Ali,et al.  Reasoning with contextual requirements: Detecting inconsistency and conflicts , 2013, Inf. Softw. Technol..

[47]  Dave Clarke,et al.  Towards a Theory of Views for Feature Models , 2010, SPLC Workshops.

[48]  João Araújo,et al.  Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study , 2010, LNCS Trans. Aspect Oriented Softw. Dev..

[49]  Jean-Marc Jézéquel,et al.  Transactions on Aspect-Oriented Software Development VII , 2009 .

[50]  João Araújo,et al.  Tailoring an Aspectual Goal-oriented Approach to Model Features , 2008, SEKE.

[51]  Klaus Pohl,et al.  Software Product Line Engineering , 2005 .

[52]  P. Giorgini,et al.  Reasoning with Goal Models , 2002, ER.

[53]  John Mylopoulos,et al.  Non-Functional Requirements in Software Engineering , 2000, International Series in Software Engineering.

[54]  John Mylopoulos,et al.  From object-oriented to goal-oriented requirements analysis , 1999, CACM.