David Milward : Publications

Click here to download all publications in a single bibtex file

@misc{modelsward19,
  title = "Model Driven Data Management in Healthcare",
  author = "Milward, D.",
  year = "2019",
  booktitle = "Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,",
  isbn = "978-989-758-358-2",
  organization = "INSTICC",
  pages = "107-118",
  publisher = "SciTePress",
  doi = "10.5220/0007391101070118",
}

@inproceedings{dsm-cr,
  title = "Domain-Specific Modelling for Clinical Research",
  author = "Jim Davies and Jeremy Gibbons and Adam Milward and David Milward and Seyyed Shah and Monika Solanki and James Welch",
  year = "2015",
  booktitle = "SPLASH Workshop on Domain-Specific Modelling",
  month = "October",
  url = "http://www.dsmforum.org/events/dsm15/Papers/Davies.pdf",
  doi = "10.1145/2846696.2846701",
}

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

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