课题基金 / 基金详情

Higher-order Refinement Techniques for Model Driven Architecture

Higher-order Refinement Techniques for Model Driven Architecture
模型驱动架构的高阶细化技术
批准号：
EP/G031711/1
负责人：
John Derrick
金额：
$40.59万
依托单位：
University of Sheffield
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2009
资助国家：
英国
项目状态：
已结题
起止时间：
2009 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FG031711%2F1
关键词：
HigherorderRefinementTechniquesModel

项目摘要

项目成果

John Derrick的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
Mechanically verified proof obligations for linearizability
DOI： 10.1145/1889997.1890001
发表时间： 2011
期刊： ACM Trans. Program. Lang. Syst.
影响因子： --
作者： [J. Derrick;G. Schellhorn;H. Wehrheim]
通讯作者： J. Derrick;G. Schellhorn;H. Wehrheim
From ODP viewpoint consistency to Integrated Formal Methods
从ODP观点一致性到综合形式方法
DOI： 10.1016/j.csi.2011.10.015
发表时间： 2013
期刊： Computer Standards & Interfaces
影响因子： 5
作者： [Boiten E]
通讯作者： Boiten E
Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings
计算机科学中的关系和代数方法 - 第 12 届国际会议，RAMICS 2011，荷兰鹿特丹，2011 年 5 月 30 日至 6 月 3 日。会议记录
DOI： 10.1007/978-3-642-21070-9_3
发表时间： 2011
期刊：
影响因子： --
作者： [Schmidt R]
通讯作者： Schmidt R
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)
  • 批准号：
    EP/X015114/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $53.85万
  • 财政年份：
    2023
  • 负责人：
    John Derrick
  • 依托单位：
    University of Sheffield
Verifiably Correct Transactional Memory.
  • 批准号：
    EP/R032351/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $51.78万
  • 财政年份：
    2018
  • 负责人：
    John Derrick
  • 依托单位：
    University of Sheffield
Verifiably correct concurrency abstractions
  • 批准号：
    EP/R018936/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $2.18万
  • 财政年份：
    2018
  • 负责人：
    John Derrick
  • 依托单位：
    University of Sheffield
Verifying concurrent algorithms on Weak Memory Models
  • 批准号：
    EP/M017044/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $49.59万
  • 财政年份：
    2015
  • 负责人：
    John Derrick
  • 依托单位：
    University of Sheffield
国内基金
海外基金
基于Order的SIS/LWE变体问题及其应用
  • 批准号：
    --
  • 项目类别：
    面上项目
  • 资助金额：
    53万元
  • 批准年份：
    2022
  • 负责人：
    杨少军
  • 依托单位：
    福建师范大学
体内亚核小体图谱的绘制及其调控机制研究
  • 批准号：
    32000423
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2020
  • 负责人：
    温增麒
  • 依托单位：
    中国科学院生物物理研究所
水稻H3K27me3标记基因的三维基因组结构解析及其调控抽穗期的机理研究
  • 批准号：
    32070612
  • 项目类别：
    面上项目
  • 资助金额：
    58.0万元
  • 批准年份：
    2020
  • 负责人：
    李兴旺
  • 依托单位：
    华中农业大学
CTCF/cohesin介导的染色质高级结构调控DNA双链断裂修复的分子机制研究
  • 批准号：
    32000425
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2020
  • 负责人：
    寿佳
  • 依托单位：
    上海交通大学