Home

Tagged by "Feature Modeling"

Members

  • Chang Hwan Peter Kim, MASc.
  • Michał Antkiewicz, Ph.D.
  • Rafael Lotufo, B. Eng.
  • Kacper Bąk, Ph.D.

Publications

  • A survey of variability modeling in industrial practice
  • Formal Semantics of the Kconfig Language
  • Clafer: Unifying Class and Feature Modeling
  • Staged Configuration Using Feature Models
  • A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System
  • Evolution of the Linux Kernel Variability Model
  • Engineering of Framework-Specific Modeling Languages
  • Formal Semantics of the CDL Language
  • Framework-specific modeling languages
  • Staged configuration through specialization and multilevel configuration of feature models
  • fmp and fmp2rsm: Eclipse Plug-Ins for Modeling Features Using Model Templates
  • Coevolution of Variability Models and Related Software Artifacts: A Fresh Look at Evolution Patterns in the Linux Kernel
  • Domain Analysis of E-Commerce Systems Using Feature-Based Model Templates

News Items

  • Marcílio Mendonça’s Ph.D. Thesis
  • Clafer Tools 0.4.2 Released
  • Our paper "Clafer: Unifying Class and Feature Modeling" published online in Software and Systems Modeling (SOSYM)
  • Clafer Tools 0.4.3 Released
  • fmp 0.7.0 Development Release

Tools

  • fmp: Feature Modeling Plug-in
  • Clafer Tools - Binary Distributions
  • CDL Tools
  • CDL to Clafer translator
  • ClaferMPS

(Publication)

  • fmp 0.7.0

Projects

  • Feature Modeling and Model Templates

Supporting Material Pages

  • PhD Thesis Supporting Material
  •  
  • 1 of 4
  • ››
  • 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

We've got lots of freedom and independence, but you are never on your own when you encounter problems.

Kacper Bąk

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
clafer tools release API Software Maintenance Clafer Framework comprehension Linux eCos Reverse Engineering FSML Variability Modeling Software Product Lines Feature Modeling
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