Features and Features Interactions in Software Engineering using Logic
暂无分享,去创建一个
[1] Kyo Chul Kang,et al. Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .
[2] Joanne M. Atlee,et al. Composing features and resolving interactions , 2000, SIGSOFT '00/FSE-8.
[3] M. de Rijke,et al. Towards feature interaction via stable models , 1999 .
[4] Krzysztof Czarnecki,et al. Generative programming - methods, tools and applications , 2000 .
[5] Franz Baader,et al. A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.
[6] Carlos Areces,et al. Logic Engineering. The Case of Description and Hybrid Logics , 2000 .
[7] Roel Wuyts,et al. A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation , 2001 .
[8] Paul J. Kühn,et al. The Feature and Service Interaction Problem in Telecommunications Systems. A Survey , 1998, IEEE Trans. Software Eng..
[9] Maarten de Rijke,et al. Feature interaction as a satisfiability problem , 1999, MASCOTS '99. Proceedings of the Seventh International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.
[10] Maarten de Rijke,et al. Description Logics and Feature Interaction , 1999, Description Logics.
[11] Francesco M. Donini,et al. Decidable Reasoning in Terminological Knowledge Representation Systems , 1993, IJCAI.
[12] Elke Pulvermüller,et al. Aspect Composition Applying the Design by Contract Principle , 2000, GCSE.