Cognitive Insights into Feature Diagram Notation and Beyond

Variability is the ability of a software system or artefact to be extended, changed, customized or configured for the use in a particular context [GBS01]. Implementation of variability allows delaying design decisions concerning a supported functionality to later stages of the software development process. Rather than deciding on specific features, a product will have, at early design stages, software architecture and set of components which are defined to allow the configuration of features to match user requirements, at a late design stage.

[1]  Krzysztof Czarnecki,et al.  Feature models are views on ontologies , 2006 .

[2]  Andreas Classen,et al.  Comparative semantics of Feature Diagrams: FFD vs. vDFD , 2006, Fourth International Workshop on Comparative Evaluation in Requirements Engineering (CERE'06 - RE'06 Workshop).

[3]  Stan Jarzabek,et al.  Quality Prediction and Assessment for Product Lines , 2003, CAiSE.

[4]  Doo-Kwon Baik,et al.  An Approach to Analyzing Commonality and Variability of Features using Ontology in a Software Product Line Engineering , 2007, 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007).

[5]  Martin L. Griss,et al.  Integrating feature modeling with the RSEB , 1998, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).

[6]  Danilo Beuche,et al.  Variability management with feature models , 2004, Sci. Comput. Program..

[7]  Samik Basu,et al.  Generating Variation-point Obligations for Compositional Model Checking of Software Product Lines , 2008 .

[8]  Klaus Schmid,et al.  A systematic approach to derive the scope of software product lines , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

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

[10]  Mike Mannion.  Using First-Order Logic for Product Line Model Validation , 2002, SPLC.

[11]  N. Guarino,et al.  Formal Ontology in Information Systems : Proceedings of the First International Conference(FOIS'98), June 6-8, Trento, Italy , 1998 .

[12]  Robertas Damasevicius,et al.  Specification and Generation of Learning Object Sequences for E-learning Using Sequence Feature Diagrams and Metaprogramming Techniques , 2009, 2009 Ninth IEEE International Conference on Advanced Learning Technologies.

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

[14]  Camille Salinesi,et al.  Criteria for Comparing Requirements Variability Modeling Notations for Product Lines , 2006, Fourth International Workshop on Comparative Evaluation in Requirements Engineering (CERE'06 - RE'06 Workshop).

[15]  Krzysztof Czarnecki,et al.  Formalizing cardinality-based feature models and their specialization , 2005, Softw. Process. Improv. Pract..

[16]  Gary J. Chastek,et al.  Exploring the Context of Product Line Adoption , 2003, PFE.

[17]  Jan Bosch,et al.  Design and use of software architectures - adopting and evolving a product-line approach , 2000 .

[18]  Michel Jaring,et al.  Variability engineering as an integral part of the software product family development process , 2005 .

[19]  Jan Bosch,et al.  On the notion of variability in software product lines , 2001, Proceedings Working IEEE/IFIP Conference on Software Architecture.

[20]  Haiyan Zhao,et al.  A Propositional Logic-Based Method for Verification of Feature Models , 2004, ICFEM.

[21]  Antonio Ruiz Cortés,et al.  Automated Reasoning on Feature Models , 2005, CAiSE.

[22]  Krzysztof Czarnecki,et al.  Staged configuration through specialization and multilevel configuration of feature models , 2005, Softw. Process. Improv. Pract..

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

[24]  Daniel Hoffman,et al.  Commonality and Variability in Software Engineering , 1998, IEEE Softw..

[25]  Tomi Männistö,et al.  Quality Attribute Variability within a Software Product Family Architecture , 2006 .

[26]  Todd L. Veldhuizen,et al.  Using C++ template metaprograms , 1996 .

[27]  Jan Bosch,et al.  A taxonomy and hierarchy of variability dependencies in software product family engineering , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..

[28]  Donald Firesmith,et al.  Using Quality Models to Engineer Quality Requirements , 2003, J. Object Technol..

[29]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[30]  Marco Sinnema,et al.  Configuration in industrial product families - the ConIPF methodology , 2006 .

[31]  Leon van der Torre,et al.  Algorithms for a Nonmonotonic Logic of Preferences , 2005, ECSQARU.

[32]  Marco Sinnema,et al.  Using variability modeling principles to capture architectural knowledge , 2006, SOEN.

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

[34]  Ilka Philippow,et al.  Details of formalized relations in feature models using OCL , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[35]  Marco Sinnema,et al.  COVAMOF: A Framework for Modeling Variability in Software Product Families , 2004, SPLC.

[36]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[37]  Charles W. Krueger,et al.  Variation Management for Software Production Lines , 2002, SPLC.

[38]  Pierre-Yves Schobbens,et al.  Generic Semantics of Feature Diagrams Variants , 2005, FIW.

[39]  Jan Bosch,et al.  Issues Concerning Variability in Software Product Lines , 2000, IW-SAPF.

[40]  R. Burbaite,et al.  Product variation sequence modelling using feature diagrams and modal logic , 2011, 2011 IEEE 12th International Symposium on Computational Intelligence and Informatics (CINTI).

[41]  Andrzej Pieczynski,et al.  Employment of fuzzy Logic in Feature Diagrams to Model variability in Software families , 2003, Trans. SDPS.

[42]  Ilka Philippow,et al.  EXTENDING FEATURE DIAGRAMS WITH UML MULTIPLICITIES , 2002 .

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

[44]  Gregor Snelting,et al.  Reengineering of configurations based on mathematical concept analysis , 1996, TSEM.

[45]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

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

[47]  Hassan Gomaa,et al.  Modeling variability in software product lines with the variation point model , 2004, Sci. Comput. Program..

[48]  Marco Sinnema,et al.  COSVAM: a technique for assessing software variability in software product families , 2004, 20th IEEE International Conference on Software Maintenance, 2004. Proceedings..

[49]  Tomi Männistö,et al.  A Koala-Based Approach for Modelling and Deploying Configurable Software Product Families , 2003, PFE.

[50]  Krzysztof Czarnecki,et al.  Feature Diagrams and Logics: There and Back Again , 2007 .