Modular Feature Models: Representation and Configuration
暂无分享,去创建一个
Dragan Gasevic | Ebrahim Bagheri | Marko Boskovic | Faezeh Ensan | E. Bagheri | D. Gašević | Marko Boskovic | F. Ensan
[1] Tao Zhang,et al. Some Metrics for Accessing Quality of Product Line Architecture , 2008, 2008 International Conference on Computer Science and Software Engineering.
[2] Francesco M. Donini,et al. Extending and Computing the Concept Covering for the Semantic Web ∗ , 2005 .
[3] Tommaso Di Noia,et al. Concept Covering for Automated Building Blocks Selection based on Business Processes Semantics , 2006, The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services (CEC/EEE'06).
[4] Carsten Lutz,et al. E-connections of abstract description systems , 2004, Artif. Intell..
[5] Vasant Honavar,et al. Package-Based Description Logics , 2009, Modular Ontologies.
[6] Ian Horrocks,et al. FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.
[7] Krzysztof Czarnecki,et al. Synchronizing Cardinality-Based Feature Models and Their Specializations , 2005, ECMDA-FA.
[8] Krzysztof Czarnecki,et al. Formalizing cardinality-based feature models and their specialization , 2005, Softw. Process. Improv. Pract..
[9] Jim Wilson,et al. Applying Software Product-Line Architecture , 1997, Computer.
[10] Klaus Pohl,et al. Software Product Line Engineering , 2005 .
[11] Robert L. Nord,et al. Software Product Lines , 2004, Lecture Notes in Computer Science.
[12] Michal Antkiewicz,et al. FeaturePlugin: feature modeling plug-in for Eclipse , 2004, eclipse '04.
[13] Antonio Ruiz Cortés,et al. Automated Reasoning on Feature Models , 2005, Seminal Contributions to Information Systems Engineering.
[14] Krzysztof Czarnecki,et al. Sample Spaces and Feature Models: There and Back Again , 2008, 2008 12th International Software Product Line Conference.
[15] Vasant Honavar,et al. Package-Based Description Logics - Preliminary Results , 2006, International Semantic Web Conference.
[16] Shari Lawrence Pfleeger,et al. Software Metrics : A Rigorous and Practical Approach , 1998 .
[17] Don S. Batory,et al. Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.
[18] Zahir Tari,et al. On the Move to Meaningful Internet Systems. OTM 2018 Conferences , 2018, Lecture Notes in Computer Science.
[19] Francesco M. Donini,et al. Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace , 2004, ICEC '04.
[20] Francesco M. Donini,et al. Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction , 2007, Int. J. Web Serv. Res..
[21] Petra Bosch-Sijtsema,et al. From integration to composition: On the impact of software product lines, global development and ecosystems , 2010, J. Syst. Softw..
[22] Francesco M. Donini,et al. Fully automated Web services orchestration in a resource retrieval scenario , 2005, IEEE International Conference on Web Services (ICWS'05).
[23] Krzysztof Czarnecki,et al. Staged configuration through specialization and multilevel configuration of feature models , 2005, Softw. Process. Improv. Pract..
[24] K. Czarnecki,et al. Cardinality-Based Feature Modeling and Constraints : A Progress Report , 2005 .
[25] Krzysztof Czarnecki,et al. Generative programming - methods, tools and applications , 2000 .
[26] David C. Gross,et al. Managing Domain-Specific, Product-Line Development , 1996, IEEE Softw..
[27] Olga De Troyer,et al. Applying semantic web technology to feature modeling , 2009, SAC '09.
[28] Samson W. Tu,et al. Protégé-2000: An Open-Source Ontology-Development and Knowledge-Acquisition Environment: AMIA 2003 Open Source Expo , 2003, AMIA.
[29] Dragan Gasevic,et al. Formalizing interactive staged feature model configuration , 2012, J. Softw. Evol. Process..
[30] H. Lan,et al. SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .
[31] Klaus Pohl,et al. Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .
[32] Kyo Chul Kang,et al. Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .
[33] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[34] Rohit Gheyi,et al. A Theory for Feature Models in Alloy , 2006 .
[35] Sergio Segura,et al. FAMA: Tooling a Framework for the Automated Analysis of Feature Models , 2007, VaMoS.
[36] Mark A. Simos,et al. Organization domain modeling (ODM): formalizing the core domain modeling life cycle , 1995, SSR '95.
[37] Martin L. Griss,et al. Integrating feature modeling with the RSEB , 1998, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).
[38] Jeff Z. Pan,et al. Verifying feature models using OWL , 2007, J. Web Semant..
[39] Krzysztof Janowicz,et al. Sim-DL: Towards a Semantic Similarity Measurement Theory for the Description Logic ALCNR in Geographic Information Retrieval , 2006, OTM Workshops.
[40] Mikolás Janota,et al. Reasoning about Feature Models in Higher-Order Logic , 2007, 11th International Software Product Line Conference (SPLC 2007).
[41] Francesco M. Donini,et al. Semantic-Based Automated Composition of Distributed Learning Objects for Personalized E-Learning , 2005, ESWC.
[42] Luciano Serafini,et al. Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..
[43] Daniel Jackson,et al. Alloy: a lightweight object modelling notation , 2002, TSEM.
[44] Ronald L. Rivest,et al. Introduction to Algorithms , 1990 .
[45] Francesco M. Donini,et al. Abductive Matchmaking using Description Logics , 2003, IJCAI.
[46] Francesco M. Donini,et al. A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results , 2009, Description Logics.
[47] Donald D. Cowan,et al. S.P.L.O.T.: software product lines online tools , 2009, OOPSLA Companion.
[48] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[49] Luciano Serafini,et al. Composing Modular Ontologies with Distributed Description Logics , 2009, Modular Ontologies.
[50] Mike Mannion. Using First-Order Logic for Product Line Model Validation , 2002, SPLC.
[51] Marek Hatala,et al. Automated Staged Configuration with Semantic Web Technologies , 2010, Int. J. Softw. Eng. Knowl. Eng..
[52] Antonio Ruiz Cortés,et al. A First Step Towards a Framework for the Automated Analysis of Feature Models , 2006 .
[53] Victor R. Basili,et al. A Validation of Object-Oriented Design Metrics as Quality Indicators , 1996, IEEE Trans. Software Eng..
[54] Pierre-Yves Schobbens,et al. Feature Diagrams: A Survey and a Formal Semantics , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).
[55] R BasiliVictor,et al. A Validation of Object-Oriented Design Metrics as Quality Indicators , 1996 .
[56] Jaejoon Lee,et al. FORM: A feature-;oriented reuse method with domain-;specific reference architectures , 1998, Ann. Softw. Eng..
[57] Weichang Du,et al. An Interface-Based Ontology Modularization Framework for Knowledge Encapsulation , 2008, SEMWEB.
[58] Donald D. Cowan,et al. Efficient compilation techniques for large scale feature models , 2008, GPCE '08.
[59] Paul C. Clements. Managing Variability for Software Product Lines: Working with Variability Mechanisms , 2006, 10th International Software Product Line Conference (SPLC'06).
[60] Krzysztof Czarnecki,et al. Staged Configuration Using Feature Models , 2004, SPLC.