Edward Crichton : Publications

Click here to download all publications in a single bibtex file

@article{DAVIES201588,
  title = "Formal model-driven engineering of critical information systems",
  author = "Jim Davies and David Milward and Chen-Wei Wang and James Welch",
  year = "2015",
  issn = "0167-6423",
  journal = "Science of Computer Programming",
  keywords = "Model-driven engineering, Formal methods, Critical systems, Information systems, Data migration",
  pages = "88 - 113",
  volume = "103",
  doi = "10.1016/j.scico.2014.11.004",
}

@article{boosterExperience,
  title = "Model-driven Engineering of Information Systems: 10 years and 1000 versions",
  author = "Jim Davies and Jeremy Gibbons and James Welch and Edward Crichton",
  year = "2014",
  journal = "Science of Computer Programming",
  month = "September",
  pages = "88-104",
  volume = "89B",
  doi = "10.1016/j.scico.2013.02.002",
}

@inproceedings{MDDM2010,
  title = "Model-Driven Data Migration",
  author = "Mohammed A. Aboulsamh and Edward Crichton and Jim Davies and James Welch",
  year = "2010",
  booktitle = "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.",
  isbn = "978-3-642-16384-5",
  pages = "285--294",
  series = "Lecture Notes in Computer Science",
  volume = "6413",
  doi = "10.1007/978-3-642-16385-2_35",
}

@article{sosym2008:davies,
  title = "Automatic Maintenance of Association Invariants",
  author = "James Welch and David Faitelson and Jim Davies",
  year = "2008",
  issn = "1619-1366",
  journal = "Software and Systems Modeling ",
  publisher = "Springer Berlin / Heidelberg",
  doi = "10.1007/s10270-008-0085-0",
}

@inproceedings{Davies*2006:Generation,
  title = "On the Generation of Object Databases using {B}ooster",
  author = "Jim Davies and James Welch and Alessandra Cavarra and Edward Crichton",
  year = "2006",
  booktitle = "Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006)",
  publisher = "IEEE Computer Society",
  doi = "10.1109/ICECCS.2006.1690374",
}

@article{DBLP:journals/entcs/DaviesCCNS05,
  title = "Formality, Evolution, and Model-driven Software Engineering",
  author = "Jim Davies and Charles Crichton and Edward Crichton and David Neilson and Ib Holm S{\o}rensen",
  year = "2005",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "39-55",
  volume = "130",
  doi = "10.1016/j.entcs.2005.03.004",
}

@inproceedings{Welch*2005:Automatic,
  title = "Automatic Maintenance of Association Invariants",
  author = "James Welch and David Faitelson and Jim Davies",
  year = "2005",
  booktitle = "Proceedings of Software Engineering and Formal Methods (SEFM) 2005",
  publisher = "IEEE Computer Society Press",
}