@article{Abler2011,
  title = "Models for Forms",
  author = "{Daniel Abler and Charles Crichton and James Welch and Jim Davies and Steve Harris}",
  year = "2011",
  booktitle = "Proceedings of the 11th Workshop on Domain-Specific Modeling",
  month = "October",
  url = "http://www.dsmforum.org/events/DSM11/",
}
@inproceedings{TASE2010,
  title = "A Guarded Workflow Language and Its Formal Semantics",
  author = "Chen-Wei Wang and Jim Davies and James Welch",
  year = "2010",
  address = "Los Alamitos, CA, USA",
  isbn = "978-0-7695-4148-8",
  journal = "Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on",
  pages = "25-34",
  publisher = "IEEE Computer Society",
  doi = "10.1109/TASE.2010.21",
}
@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{DBLP:journals/entcs/DaviesFW08,
  title = "Domain-specific Semantics and Data Refinement of Object Models",
  author = "Jim Davies and David Faitelson and James Welch",
  year = "2008",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "151--170",
  volume = "195",
  doi = "10.1016/j.entcs.2007.08.031",
}
@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{BehaviouralSpecifications,
  title = "Behavioural Specifications from Class Models",
  author = "A. Cavarra and J. Welch",
  year = "2007",
  booktitle = "Proceedings of the 6th International Conference of Integrated Formal Methods (IFM 2007)",
  pages = "118-137",
  publisher = "Springer Berlin / Heidelberg",
  series = "LNCS",
  doi = "10.1007/978-3-540-73210-5_7",
}
@inproceedings{DBLP:journals/entcs/FaitelsonWD07,
  title = "From Predicates to Programs: The Semantics of a Method Language",
  author = "David Faitelson and James Welch and Jim Davies",
  year = "2007",
  booktitle = "Proceedings of SBMF 2005",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "171--187",
  publisher = "Electronic Notes in Theoretical Computer Science",
  volume = "184",
  doi = "10.1016/j.entcs.2007.03.021",
}
@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",
}
@inproceedings{sbmf2006,
  title = "Domain-Specific Semantics and Data Refinement of Object Models",
  author = "Jim Davies and David Faitelson and James Welch",
  year = "2006",
  booktitle = "Brazilian Symposium on Formal Methods (SBMF)",
}
@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",
}