Booster: Model-driven software development
Selected Publications
| Checking Model Consistency using Data−Flow Testing Chen−Wei Wang and Alessandra Cavarra In Proceedings of APSEC'09: 16th Asia−Pacific Software Engineering Conference. IEEE. 2009. |
| Automatic Maintenance of Association Invariants James Welch‚ David Faitelson and Jim Davies In Software and Systems Modeling. 2008. |
| Domain−specific Semantics and Data Refinement of Object Models Jim Davies‚ David Faitelson and James Welch In Electronic Notes in Theoretical Computer Science. Vol. 195. Pages 151–170. 2008. |
info
|
Duration |
1st January 1999, on going |
|
People |
|
|
Activities |
|
|
Themes |
