Integrating Formal Methods with Model-Driven Engineering
This thesis presents our method to integrate formal methods with model-driven engineering. Although a large amount of literature exists with the goal of facilitating the adoption of formal methods for educational and industrial practice, yet the adoption of formal methods in academia and industry is...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
Université d'Ottawa / University of Ottawa
2017
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10393/36269 http://dx.doi.org/10.20381/ruor-20549 |