Skip to main content

Model-driven software development: Publications

Click here to download all publications in a single bibtex file

@book{aligned,
  title = "Engineering Agile Big-Data Systems",
  author = "Kevin Feeney and Jim Davies and James Welch and Sebastian Hellmann and Christian Dirschl and Andreas Koller and Pieter Francois and Arkadiusz Marciniak",
  year = "2018",
  editor = "Kevin Feeney and Jim Davies and James Welch and Sebastian Hellmann and Christian Dirschl and Andreas Koller and Pieter Francois and Arkadiusz Marciniak",
  isbn = "9788770220163",
  url = "https://www.riverpublishers.com/research_details.php?book_id=659",
}
@inbook{lifecycle,
  title = "Software Project Management for Combined Software and Data Engineering",
  author = "Seyyed M. Shah and James Welch and Jim Davies and Jeremy Gibbons",
  year = "2017",
  booktitle = "Software Project Management for Distributed Computing: Life-Cycle Methods for Developing Scalable and Reliable Tools",
  editor = "Zaigham Mahmood",
  isbn = "978-3-319-54324-6",
  pages = "367-385",
  publisher = "Springer International Publishing",
  url = "https://sshah.co.uk/files/combined-software-data-engineering-shah-17.pdf",
  doi = "10.1007/978-3-319-54325-3_15",
}
@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{DBLP:conf/sbmf/DaviesGMW12,
  title = "Compositionality and Refinement in Model-Driven Engineering",
  author = "Jim Davies and Jeremy Gibbons and David Milward and James Welch",
  year = "2012",
  booktitle = "Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012. Proceedings",
  editor = "Rohit Gheyi and David A. Naumann",
  isbn = "978-3-642-33295-1",
  pages = "99-114",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7498",
  doi = "10.1007/978-3-642-33296-8_9",
}
@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",
}
@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{wang2009,
  title = "Checking Model Consistency using Data-Flow Testing",
  author = "Chen-Wei Wang and Alessandra Cavarra",
  year = "2009",
  booktitle = "Proceedings of APSEC'09: 16th Asia-Pacific Software Engineering Conference",
  publisher = "IEEE",
}
@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",
}
@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",
}
@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)",
}
@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",
}