David Milward : Publications
Journal papers
-
[1]
Formal model−driven engineering of critical information systems
Jim Davies‚ David Milward‚ Chen−Wei Wang and James Welch
In Science of Computer Programming. Vol. 103. Pages 88 − 113. 2015.
Details about Formal model−driven engineering of critical information systems | BibTeX data for Formal model−driven engineering of critical information systems | DOI (10.1016/j.scico.2014.11.004)
Conference papers
-
[1]
Domain−Specific Modelling for Clinical Research
Jim Davies‚ Jeremy Gibbons‚ Adam Milward‚ David Milward‚ Seyyed Shah‚ Monika Solanki and James Welch
In SPLASH Workshop on Domain−Specific Modelling. October, 2015.
Details about Domain−Specific Modelling for Clinical Research | BibTeX data for Domain−Specific Modelling for Clinical Research | DOI (10.1145/2846696.2846701) | Download (pdf) of Domain−Specific Modelling for Clinical Research
-
[2]
Compositionality and Refinement in Model−Driven Engineering
Jim Davies‚ Jeremy Gibbons‚ David Milward and James Welch
In Rohit Gheyi and David A. Naumann, editors, Formal Methods: Foundations and Applications − 15th Brazilian Symposium‚ SBMF 2012. Proceedings. Vol. 7498 of Lecture Notes in Computer Science. Pages 99−114. Springer. 2012.
Details about Compositionality and Refinement in Model−Driven Engineering | BibTeX data for Compositionality and Refinement in Model−Driven Engineering | Download (pdf) of Compositionality and Refinement in Model−Driven Engineering | DOI (10.1007/978-3-642-33296-8_9)
Miscellaneous
-
[1]
Model Driven Data Management in Healthcare
D. Milward
2019.
Details about Model Driven Data Management in Healthcare | BibTeX data for Model Driven Data Management in Healthcare | DOI (10.5220/0007391101070118)