Edward Crichton : Publications
-
[1]
Formal model−driven engineering of critical information systems
Jim Davies‚ David Milward‚ Chen−Wei Wang and James Welch
In Science of Computer Programming. Vol. 103. Pages 88 − 113. 2015.
Details about Formal model−driven engineering of critical information systems | BibTeX data for Formal model−driven engineering of critical information systems | DOI (10.1016/j.scico.2014.11.004)
-
[2]
Model−driven Engineering of Information Systems: 10 years and 1000 versions
Jim Davies‚ Jeremy Gibbons‚ James Welch and Edward Crichton
In Science of Computer Programming. Vol. 89B. Pages 88−104. September, 2014.
Details about Model−driven Engineering of Information Systems: 10 years and 1000 versions | BibTeX data for Model−driven Engineering of Information Systems: 10 years and 1000 versions | DOI (10.1016/j.scico.2013.02.002)
-
[3]
Model−Driven Data Migration
Mohammed A. Aboulsamh‚ Edward Crichton‚ Jim Davies and James Welch
In Advances in Conceptual Modeling − Applications and Challenges‚ ER 2010 Workshops ACM−L‚ CMLSA‚ CMS‚ DE@ER‚ FP−UML‚ SeCoGIS‚ WISM‚ Vancouver‚ BC‚ Canada‚ November 1−4‚ 2010.. Vol. 6413 of Lecture Notes in Computer Science. Pages 285–294. 2010.
Details about Model−Driven Data Migration | BibTeX data for Model−Driven Data Migration | DOI (10.1007/978-3-642-16385-2_35)
-
[4]
Automatic Maintenance of Association Invariants
James Welch‚ David Faitelson and Jim Davies
In Software and Systems Modeling. 2008.
Details about Automatic Maintenance of Association Invariants | BibTeX data for Automatic Maintenance of Association Invariants | DOI (10.1007/s10270-008-0085-0)
-
[5]
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.
Details about On the Generation of Object Databases using Booster | BibTeX data for On the Generation of Object Databases using Booster | DOI (10.1109/ICECCS.2006.1690374)
-
[6]
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 about Formality‚ Evolution‚ and Model−driven Software Engineering | BibTeX data for Formality‚ Evolution‚ and Model−driven Software Engineering | DOI (10.1016/j.entcs.2005.03.004)
-
[7]
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 about Automatic Maintenance of Association Invariants | BibTeX data for Automatic Maintenance of Association Invariants