Home

Tagged by "Variability Modeling"

Projects

  • Automotive Reference Architecture with Variability
  • Software Product Line Evolution: the Linux Kernel
  • Modeling Variation Space of Tailored Messages

(Publication)

  • Clafer Model Repository

Tools

  • Clafer Translator

News Items

  • Real-world Variability Models in Clafer
  • Two Online Tools
  • Clafer Update
  • Clafer News
  • Clafer Evaluation
  • Variability Modeling in the Real: A Perspective from the Operating Systems Domain accepted at ASE 2010
  • GSD Lab joins mbeddr

Publications

  • Feature and Class Models in Clafer: Mixed, Specialized, and Coupled
  • Formal Semantics of the Kconfig Language
  • Formal Semantics of the CDL Language
  • Home
  • Research Topics
  • Projects
  • Tools
  • Lab Members
  • Publications
  • Industrial Collaborators
  • Teaching
  • Contact
  • Login

Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.

Thiago Tonelli Bartolomei

Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.

Rehan Rauf

Recent Publications

  • An Empirical Study on Consistency Management of Business and IT Process Models
  • Matching Business Process Workflows Across Abstraction Levels
  • Supporting Different Process Views through a Shared Process Model
  • Generating Range Fixes for Software Configuration
  • Towards Improving Bug Tracking Systems with Game Mechanisms
  • Recommending Refactorings to Reverse Software Architecture Erosion
  • A User Survey of Configuration Challenges in Linux and eCos
Feature Modeling Reverse Engineering Framework comprehension Round-Trip Engineering Software Maintenance Software Product Lines FSML Linux API Migration API Variability Modeling eCos
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