descriptionPublicationkeyboard_double_arrow_right Article , Conference object 26 Aug 2013Publisher:ACMJournal:Proceedings of the 17th International Software Product Line Conference

Authors: Clarke D; Schaefer I; Ter Beek M H; Apel S; Atlee J M;

doi: 10.1145/2491627.2499880

handle: 20.500.14243/253174

Formal methods and analysis in software product line engineering

- Summary
- Subjects
- Related research
  (2)
- Metrics

Abstract

FMSPLE 2013 is the fourth edition of the FMSPLE workshop series aimed at connecting researchers and practitioners interested in raising the efficiency and the effectiveness of software product line engineering through the application of innovative analysis approaches and formal methods.

Related Organizations

National Research Council
Sri Lanka
University of Waterloo
Canada
National Research Council
Italy
Institute of Information Science and Technologies "A. Faedo"
Italy
Technische Universität Braunschweig
Germany

View all View all

Keywords

D.2.2 Design Tools and Techniques, D.2.5 Testing and Debugging, Evolution, Formal methods, Testing, Verification, D.2.13 Reusable Software, Software Product Lines, D.2.11 Software Architectures, Semantics, D.2.4 Software/Program Verification. Formal methods, D.2.4 Software/Program Ver, D.2.4 Software/Program Verification. Model checking, D.2.4 Software/Program Verification. Validation, Variability

2 Research products, page 1 of 1

Towards a theory of views for feature models
2010IsAmongTopNSimilarDocuments
HATS - A formal software product line engineering methodology
2010IsAmongTopNSimilarDocuments

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average