-
Notifications
You must be signed in to change notification settings - Fork 0
By Venue
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
Model repair and transformation with Echo
Towards a framework for multi-directional model transformations
Checking the correctness of what-if scenarios
Alloy meets TLA+: An exploratory study
Implementing QVT-R bidirectional model transformations using Alloy
Exploring scenario exploration
Lightweight specification and analysis of dynamic systems with rich configurations
- Elevator system SPL
- Hotel room locking system (free configurations)
- Ring leader election algorithm
- Spanning tree algorithm
- Elevator SPL [Electrum]
- Hotel [Electrum] [TLA+]
- Ring Leader [Electrum] [TLA+]
- Span tree [Electrum] [TLA+]
PTCRISync specification: An ORCID-based synchronization framework for PTCRIS
Towards a formal validation of ETL patterns behavior
An ORCID-based synchronization framework for a national CRIS ecosystem
A relational approach to bidirectional transformation
- Company human resources synchronization (minimal)
- Expand/collapse hierarchical state machines
- Object-relational mapping (without associations/keys)
- SPL development (minimal)
- CD2DBS [Ecore]
Least-change bidirectional model transformation with QVT-R and ATL
- Company human resources synchronization (minimal)
- Expand/collapse hierarchical state machines
- Object-relational mapping (without associations/keys)
- CD2DBS [Ecore]
Best Students in the University of Minho programme 2017
Especificação e Modelação 2015/16