최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기인터넷정보학회논문지 = Journal of Korean Society for Internet Information, v.10 no.4, 2009년, pp.105 - 113
The feature models are widely used to model the commonalities and variabilities among the products in the domain engineering phase of software product line developments. The findings and corrections of the errors or consistencies in the feature models are essential to the successful software product...
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
P. Clements and L. Northrop, "Software Product Lines: Practices and Patterns", Addison Wesley, 2002.
K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson. Feature?Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, November 1990.
D. Batory, D. Benavides, A. Ruiz-Cortes, Automated Analysis of feature models: Challenges ahead, Communications of the ACM 49 (12), pp.45-47, 2006.
D Benavides, A Ruiz-Cortes, P Trinidad, S Segura, A survey on the automated analyses of feature models, Jornadas de Ingenierıa del Software y Bases de Datos (JISBD), 2006.
M. Mannion. Using First-Order Logic for Product Line Model Validation. In Proceedings of the Second Software Product Line Conference (SPLC2), LNCS 2379, pages 176?187, San Diego, CA, 2002. Springer.
W. Zhang, H. Zhao, and H. Mei. A propositional logic-based method for verification of feature models. In J. Davies, editor, ICFEM 2004, volume 3308, pages 115?130. Springer?Verlag, 2004.
D. Batory. Feature models, grammars, and propositional formulas. In Software Product Lines Conference, LNCS 3714, pages 7?20, 2005.
H. Wang, Y. Li, J. Sun, H. Zhang, and J. Pan. A semantic web approach to feature modeling and verification. In Workshop on Semantic Web Enabled Software Engineering (SWESE’05), November 2005.
H. H. Wang, Y. F. Li, J. Sun, H. Zhang and J. Pan. Verifying Feature Models Using OWL. In Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 5(2):117-129, June 2007.
D. Benavides, A. Ruiz-Cort'es, and P. Trinidad. Automated reasoning on feature models. LNCS, Advanced Information Systems Engineering: 17th International Conference, CAiSE 2005, 3520:491?503, 2005.
P. Trinidad, D. Benavides, and A. Ruiz-Cort'es. Explanations for Agile Feature Modeling. In Proceedings of the First International Workshop on Agile Product Line Engineering (APLE'06), Baltimore, MD, USA, 2006.
Czarnecki, K. and Kim, P., "Cardinality-based feature modeling and constrains: A progress report", In Proceedings of the International Workshop on Software Factories at OOPSL 2005.
Sun, J., Zhang, H., Li, Y., Wang, H., "Formal semantics and verification for feagure modeling" In Proceedings of the ICECSS05.
P. Trinidad, D. Benavides, A. Duran, A. Ruiz-Cortes and M. Toro, "Automated Error Analysis of Feature Models", Journal of Systems and Software(in press), 2008.
Ernest Friedman-Hill, "JESS in Action", Manning, 2003.
T. von der Massen and H. Lichter. Deficiencies in featuremodels. In T. Mannisto and J. Bosch, editors, Workshop on Software Variability Management for Product Derivation - Towards Tool Support, 2004.
Roberto E. Lopez-Herrejon and Don S. Batory. A standard problem for evaluating productline methodologies. In Proceedings of the Third International Conference on Generative and Component-Based Software Engineering, pages 10-24, Erfurt, Germany, September 2001.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.