Booster: Model-driven software development : Publications

Journal papers

[1]	Automatic Maintenance of Association Invariants James Welch‚ David Faitelson and Jim Davies In Software and Systems Modeling. 2008. Details \| BibTeX \| DOI (10.1007/s10270-008-0085-0)

[2]	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. Details \| BibTeX \| DOI (10.1016/j.entcs.2007.08.031)

[3]	Formality‚ Evolution‚ and Model−driven Software Engineering Jim Davies‚ Charles Crichton‚ Edward Crichton‚ David Neilson and Ib Holm Sørensen In Electronic Notes in Theoretical Computer Science. Vol. 130. Pages 39−55. 2005. Details \| BibTeX \| DOI (10.1016/j.entcs.2005.03.004)

[1]	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. Details \| BibTeX

[2]	From Predicates to Programs: The Semantics of a Method Language David Faitelson‚ James Welch and Jim Davies In Proceedings of SBMF 2005. Vol. 184. Pages 171–187. Electronic Notes in Theoretical Computer Science. 2007. Details \| BibTeX \| DOI (10.1016/j.entcs.2007.03.021)

[3]

On the Generation of Object Databases using Booster

Jim Davies‚ James Welch‚ Alessandra Cavarra and Edward Crichton

In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006). IEEE Computer Society. 2006.

[4]	Automatic Maintenance of Association Invariants James Welch‚ David Faitelson and Jim Davies In Proceedings of Software Engineering and Formal Methods (SEFM) 2005. IEEE Computer Society Press. 2005. Details \| BibTeX

[5]	Domain−Specific Semantics and Data Refinement of Object Models Jim Davies‚ David Faitelson and James Welch In Brazilian Symposium on Formal Methods (SBMF). 2006. Details \| BibTeX