Home

Tagged by "OCL"

Publications

  • Verifying feature-based model templates against well-formedness OCL constraints
  • Home
  • Research Topics
  • Projects
  • Tools
  • Lab Members
  • Publications
  • Industrial Collaborators
  • Teaching
  • Contact
  • Login

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

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

Thiago Tonelli Bartolomei

Recent Publications

  • A Space of Model Synchronization Types: Symmetrization of Model Transformations and its Challenges
  • Matching Business Process Models Using Positional Language Models
  • Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel
  • SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities
  • Generating Preliminary Edit Lenses from Automatic Pattern Discovery in Business Process Modeling
  • Feature-Oriented Software Evolution
  • A Case Study on Consistency Management of Business and IT Process Models in Banking
API Migration Variability Modeling eCos FSML Reverse Engineering Linux Software Maintenance Round-Trip Engineering Framework comprehension Feature Modeling API Software Product Lines
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