Higher-order Refinement Techniques for Model Driven Architecture
Lead Research Organisation:
University of Sheffield
Department Name: Computer Science
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Publications
Boiten E
(2013)
From ODP viewpoint consistency to Integrated Formal Methods
in Computer Standards & Interfaces
Derrick J
(2011)
Mechanically verified proof obligations for linearizability
in ACM Transactions on Programming Languages and Systems
| Description | European Commission (EC) |
| Amount | £4,000,000 (GBP) |
| Funding ID | 317820 |
| Organisation | European Commission |
| Sector | Public |
| Country | European Union (EU) |
| Start | 10/2012 |
| End | 09/2015 |
| Description | European Commission (EC) |
| Amount | £4,000,000 (GBP) |
| Funding ID | 317820 |
| Organisation | European Commission |
| Sector | Public |
| Country | European Union (EU) |
| Start | 10/2012 |
| End | 09/2015 |