David Milward
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
Model Driven Architecture
Formal Methods
Data Integration
Selected Publications
| 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. |
Info
|
Themes |
|
|
Activities |
|
|
Supervisor |
|
