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
• 关键词: Higher; order; Refinement; Techniques; Model

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.

目前，GtR 中尚未提供所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但可能是因为它包含个人详细信息等敏感信息。

项目成果

Mechanically verified proof obligations for linearizability

• DOI: 10.1145/1889997.1890001
• 发表时间: 2011
• 期刊: ACM Trans. Program. Lang. Syst.
• 作者: 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

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