Automated analysis of feature models

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Automated analysis of feature models: challenges ahead

Full text

Html (13 KB), Pdf

Pdf (123 KB)

Source

Communications of the ACM archive
Volume 49 , Issue 12 (December 2006) table of contents
Software product line

SPECIAL ISSUE: Software product line engineering table of contents

Pages: 45 - 47

Year of Publication: 2006

ISSN:0001-0782

Authors

Don Batory	University of Texas at Austin
David Benavides	University of Seville, Spain
Antonio Ruiz-Cortes	University of Seville, Spain

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 29, Downloads (12 Months): 160, Citation Count: 5

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1183236.1183264 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Asikainen, T., Männistö, T., and Soininen, T. Using a configurator for modelling and configuring software product lines based on feature models. In Proceedings of the Workshop on Software Variability Management for Product Derivation, Software Product Line Conference (SPLC3), 2004.
	2	Batory, D. Feature models, grammars, and propositional formulas. In Proceedings of the Software Product Line Conference, 2005.
	3	Batory, D. and Thaker, S. Towards safe composition of product lines. Technical Report, Dept. Computer Sciences, University of Texas, TR-06-33, 2006.
	4	Benavides, D., Trinidad, P., and Ruiz-Cortés, A. Automated reasoning on feature models. In Proceedings of the Conference on Advanced Information Systems Engineering (CAISE). LNCS 3520, July 2005.
	5	Benavides, D., Segura, S., Trinidad, P., and Ruiz-Cortés, A. Using Java CSP solvers in the automated analyses of feature models. In Post-Proceedings of The Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE). LNCS 4143, 2006.
	6	Czarnecki, K. and Kim, C.H.P. Cardinality-based feature modeling and constraints: A progress report. In Proceedings of the OOPSLA Workshop on Software Factories, 2005.
	7	Krzysztof Czarnecki , Krzysztof Pietroszek, Verifying feature-based model templates against well-formedness OCL constraints, Proceedings of the 5th international conference on Generative programming and component engineering, October 22-26, 2006, Portland, Oregon, USA [doi>10.1145/1173706.1173738]
	8	Kang, K., Cohen, S., Hess, J., Nowak, W., and Peterson, S. Feature-oriented domain analysis (FODA) feasibility study. Technical Report, CMU/SEI-90TR-21, Nov. 1990.
	9	Mittal, S. and Frayman, F. Towards a generic model of configuration tasks. In Proceedings of the 11th International Conference on Artificial Intelligence, 1989, 1391--1401.
	10	Neema, S., Sztipanovits, J., and Karsai, G. Constraint-based design space exploration and model synthesis. In Proceedings of EMSOFT 2003, LNCS 2855, 290--305.
	11	Klaus Pohl , Günter Böckle , Frank J. van der Linden, Software Product Line Engineering: Foundations, Principles and Techniques, Springer-Verlag New York, Inc., Secaucus, NJ, 2005
	12	R Reiter, A theory of diagnosis from first principles, Artificial Intelligence, v.32 n.1, p.57-95, April 1987 [doi>10.1016/0004-3702(87)90062-2]

CITED BY 5

	P. Trinidad , D. Benavides , A. Durán , A. Ruiz-Cortés , M. Toro, Automated error analysis for the agilization of feature modeling, Journal of Systems and Software, v.81 n.6, p.883-896, June, 2008
	Marcílio Mendonça , Thiago Tonelli Bartolomei , Donald Cowan, Decision-making coordination in collaborative product configuration, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
	Marcilio Mendonca , Andrzej Wasowski , Krzysztof Czarnecki , Donald Cowan, Efficient compilation techniques for large scale feature models, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA
	Lamia Abo Zaid , Frederic Kleinermann , Olga De Troyer, Applying semantic web technology to feature modeling, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii
	Iris Reinhartz-Berger , Arnon Sturm, Utilizing domain models for application design and validation, Information and Software Technology, v.51 n.8, p.1275-1289, August, 2009