📣 Help Shape the Future of UKRI's Gateway to Research (GtR)

We're improving UKRI's Gateway to Research and are seeking your input! If you would be interested in being interviewed about the improvements we're making and to have your say about how we can make GtR more user-friendly, impactful, and effective for the Research and Innovation community, please email gateway@ukri.org.

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

10 25 50
publication icon
Boiten E (2013) From ODP viewpoint consistency to Integrated Formal Methods in Computer Standards & Interfaces

publication icon
Derrick J (2011) Mechanically verified proof obligations for linearizability in ACM Transactions on Programming Languages and Systems

publication icon
Foster S (2011) Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings

 
Description European Commission (EC)
Amount £4,000,000 (GBP)
Funding ID 317820 
Organisation European Commission 
Sector Public
Country Belgium
Start 09/2012 
End 09/2015
 
Description European Commission (EC)
Amount £4,000,000 (GBP)
Funding ID 317820 
Organisation European Commission 
Sector Public
Country Belgium
Start 09/2012 
End 09/2015