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 European Union (EU)
Start 09/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 09/2012 
End 09/2015