📣 Try out the NEW Gateway to Research and let us know what you think.

We're looking for users to test the new service during August and September and share their feedback. Express your interest by completing this short form.

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