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",
}