课题基金 / 基金详情

Software architecture, model driven development and fault tolerance

Software architecture, model driven development and fault tolerance
软件架构、模型驱动开发和容错
批准号:
26775-2011
负责人:
Maibaum, Thomas
金额:
$3.06万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2013
资助国家:
加拿大
项目状态:
已结题
起止时间:
2013-01-01 至 2014-12-31

项目摘要

项目成果

Maibaum, Thomas的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Many practical and foundational problems in software engineering are essentially about representing the structure of software artifacts. Today's software intensive systems are very large and complex. They must be designed and implemented in parts that are manageable by engineers. This requires schemes for putting together parts to represent the whole. Analysis methods must be able to navigate between parts and whole to take advantage of complexity reduction in focusing on parts and then being able to "promote" the results to be applied to the whole. Structure may be imposed in at least two ways: the first is the usual hierarchical structuring typified by the part/whole relationship, a kind of vertical structuring, and the second may be seen as having various views of a whole, each representing different, but possibly overlapping, information about the whole, a kind of horizontal structuring.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Foundations of Software Engineering
  • 批准号:
    1000225524-2010
  • 项目类别:
    Canada Research Chairs
  • 资助金额:
    $2.43万
  • 财政年份:
    2017
  • 负责人:
    Maibaum, Thomas
  • 依托单位:
Software architecture, model driven development and fault tolerance
  • 批准号:
    26775-2011
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $3.06万
  • 财政年份:
    2016
  • 负责人:
    Maibaum, Thomas
  • 依托单位:
Foundations of Software Engineering
  • 批准号:
    1000225524-2010
  • 项目类别:
    Canada Research Chairs
  • 资助金额:
    $14.57万
  • 财政年份:
    2016
  • 负责人:
    Maibaum, Thomas
  • 依托单位:
Rigorous automated implementation of dependable distributed real-time systems (RAIDR)
  • 批准号:
    430575-2012
  • 项目类别:
    Strategic Projects - Group
  • 资助金额:
    $14.39万
  • 财政年份:
    2015
  • 负责人:
    Maibaum, Thomas
  • 依托单位:
国内基金
海外基金
The formation and evolution of planetary systems in dense star clusters
  • 批准号:
    11043007
  • 项目类别:
    专项基金项目
  • 资助金额:
    10.0万元
  • 批准年份:
    2010
  • 负责人:
    柯文采
  • 依托单位: