Home

Tagged by "Feature Modeling and Model Templates"

Publications

  • Efficient compilation techniques for large scale feature models
  • Feature Model Mining
  • Sample Spaces and Feature Models: There and Back Again
  • SAT-based Analysis of Feature Models is Easy
  • Feature Diagrams and Logics: There and Back Again
  • Cardinality-based feature modeling and constraints: a progress report
  • Verifying feature-based model templates against well-formedness OCL constraints
  • FeaturePlugin: Feature Modeling Plug-In for Eclipse
  • fmp and fmp2rsm: Eclipse Plug-Ins for Modeling Features Using Model Templates
  • Feature Models are Views on Ontologies
  • S.P.L.O.T. - Software Product Lines Online Tools
  • Model-Driven Software Product Lines
  • Synchronizing Cardinality-Based Feature Models and Their Specializations
  • Mapping Features to Models: A Template Approach Based on Superimposed Variants
  • Modeling Product Lines with Kripke Structures and Modal Logic
  • Staged Configuration Using Feature Models

Tools

  • fmp: Feature Modeling Plug-in
  • Software Product Lines Online Tools (SPLOT)
  • fmp2rsm: Mapping Features to UML 2.0 Models Plug-in

Projects

  • Feature Modeling and Model Templates

(Publication)

  • fmp 0.7.0

Members

  • Marcilio Mendonça, Ph.D.
  • Michał Antkiewicz, Ph.D.
  • Thorsten Berger
  • Krzysztof Czarnecki, Ph.D., P.Eng.

News Items

  • fmp 0.7.0 Development Release
  • Feature Modeling and Feature-Based Model Templates demos
  • Sean Lau's MASc. Thesis
  • Peter Kim's MASc. Thesis
  • fmp goes open source
  •  
  • 1 of 2
  • ››
  • Home
  • Research Topics
  • Projects
  • Tools
  • Lab Members
  • Publications
  • Industrial Collaborators
  • Login

In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.

Michal Antkiewicz

Our lab is a very exciting place to learn and work!

Moises Branco

Recent Publications

  • Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability
  • Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems
  • Modeling and Reasoning with Multirelations, and their encoding in Alloy
  • Exponential Recency Weighted Average Branching Heuristic for SAT Solvers
  • A Novel Approach for Estimating Truck Factors
  • Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners
  • Cost-Efficient Sampling for Performance Prediction of Configurable Systems
API Feature Modeling eCos FSML Reverse Engineering clafer tools release Software Maintenance Linux Software Product Lines Clafer Variability Modeling Framework comprehension
University of Waterloo Generative Software Development Lab
Department of Electrical and Computer Engineering
University of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
Department of Electrical and Computer Engineering