A Constraint-Based Approach to OpenFeature Veriflcation

[1]  Mira Mezini,et al.  Programming with Aspectual Components , 1999 .

[2]  Robert J. Hall,et al.  Feature Interactions in Electronic Mail , 2000, FIW.

[3]  Robert Bruce Findler,et al.  Modular object-oriented programming with units and mixins , 1998, ICFP '98.

[4]  Paul J. Kühn,et al.  The Feature and Service Interaction Problem in Telecommunications Systems. A Survey , 1998, IEEE Trans. Software Eng..

[5]  S. Easterbrook,et al.  Reasoning About Compositions of Concerns , 2001 .

[6]  Kathi Fisler,et al.  Modular verification of collaboration-based software designs , 2001, ESEC/FSE-9.

[7]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[8]  Martin L. Griss.  Product-line architectures , 2001 .

[9]  Joanne M. Atlee,et al.  Towards automated detection of feature interactions , 1994, FIW.

[10]  Kathi Fisler,et al.  Verifying cross-cutting features as open systems , 2002, SIGSOFT '02/FSE-10.

[11]  George T. Heineman,et al.  Component-Based Software Engineering: Putting the Pieces Together , 2001 .

[12]  Marsha Chechik,et al.  Multi-valued symbolic model-checking , 2003, TSEM.

[13]  Alexander L. Wolf,et al.  A conceptual basis for feature engineering , 1999, J. Syst. Softw..

[14]  Patrice Godefroid,et al.  Temporal logic query checking , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.

[15]  William Chan.  Temporal-Locig Queries , 2000, CAV.

[16]  Marsha Chechik,et al.  Model exploration with temporal logic query checking , 2002, SIGSOFT '02/FSE-10.