fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates

Feature-based model templates have been proposed as a technique for modeling software product lines. We describe a set of tools supporting the technique, namely a feature model editor and feature configurator, and a model-template editor, processor, and verifier. Categories and Subject Descriptors: D.2.1 [Software Engineering]: Requirements / Specifications—Tools D.2.2 [Software Engineering]: Design Tools and Techniques—Computer-aided software engineering (CASE) D.2.4 [Software Engineering]: Software/Program Verification General Terms: Design, Documentation, Verification

• Type: Conference
• Year: 2005
• Where: OOPSLA
• Authors: Krzysztof Czarnecki, Michal Antkiewicz, Chang Hwan Peter Kim, Sean Lau, Krzysztof Pietroszek
• Keywords: Feature-based Model Templates, OOPSLA 2005, Software Engineering, Software Product Lines