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
财政年份:
2014
资助国家:
加拿大
项目状态:
已结题
起止时间:
2014-01-01 至 2015-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
Foundations of Software Engineering
-
批准号:1225524-2010
-
项目类别:Canada Research Chairs
-
资助金额:$14.57万
-
财政年份:2015
-
负责人:Maibaum, Thomas
-
依托单位:
Software architecture, model driven development and fault tolerance
-
批准号:26775-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.06万
-
财政年份:2015
-
负责人:Maibaum, Thomas
-
依托单位:
Network for the engineering of complex software intensive systems for automotive systems - NECSIS
-
批准号:386797-2009
-
项目类别:Automotive Partnership Canada Project
-
资助金额:$24.77万
-
财政年份:2015
-
负责人:Maibaum, Thomas
-
依托单位:
Network for the engineering of complex software intensive systems for automotive systems - NECSIS
-
批准号:386797-2009
-
项目类别:Automotive Partnership Canada Project
-
资助金额:$146.63万
-
财政年份:2014
-
负责人:Maibaum, Thomas
-
依托单位:
Foundations of Software Engineering
-
批准号:1000225524-2010
-
项目类别:Canada Research Chairs
-
资助金额:$14.57万
-
财政年份:2014
-
负责人:Maibaum, Thomas
-
依托单位:
Foundations of Software Engineering
-
批准号:1000225524-2010
-
项目类别:Canada Research Chairs
-
资助金额:$14.57万
-
财政年份:2013
-
负责人:Maibaum, Thomas
-
依托单位:
Network for the engineering of complex software intensive systems for automotive systems - NECSIS
-
批准号:386797-2009
-
项目类别:Automotive Partnership Canada Project
-
资助金额:$151.16万
-
财政年份:2013
-
负责人:Maibaum, Thomas
-
依托单位:
Software architecture, model driven development and fault tolerance
-
批准号:26775-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.06万
-
财政年份:2013
-
负责人:Maibaum, Thomas
-
依托单位:
Rigorous automated implementation of dependable distributed real-time systems (RAIDR)
-
批准号:430575-2012
-
项目类别:Strategic Projects - Group
-
资助金额:$14.39万
-
财政年份:2013
-
负责人:Maibaum, Thomas
-
依托单位:
Network for the engineering of complex software intensive systems for automotive systems - NECSIS
-
批准号:386797-2009
-
项目类别:Automotive Partnership Canada Project
-
资助金额:$153.95万
-
财政年份:2012
-
负责人:Maibaum, Thomas
-
依托单位:
Foundations of Software Engineering
-
批准号:1000225524-2010
-
项目类别:Canada Research Chairs
-
资助金额:$14.57万
-
财政年份:2012
-
负责人:Maibaum, Thomas
-
依托单位:
Software architecture, model driven development and fault tolerance
-
批准号:26775-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.06万
-
财政年份:2012
-
负责人:Maibaum, Thomas
-
依托单位:
Rigorous automated implementation of dependable distributed real-time systems (RAIDR)
-
批准号:430575-2012
-
项目类别:Strategic Projects - Group
-
资助金额:$14.39万
-
财政年份:2012
-
负责人:Maibaum, Thomas
-
依托单位:
Foundations of Software Engineering
-
批准号:1000225524-2010
-
项目类别:Canada Research Chairs
-
资助金额:$10.93万
-
财政年份:2011
-
负责人:Maibaum, Thomas
-
依托单位:
Canada Research Chair in the Foundations of Software Engineering
-
批准号:1000202327-2004
-
项目类别:Canada Research Chairs
-
资助金额:$3.64万
-
财政年份:2011
-
负责人:Maibaum, Thomas
-
依托单位:
Network for the engineering of complex software intensive systems for automotive systems - NECSIS
-
批准号:386797-2009
-
项目类别:Automotive Partnership Canada Project
-
资助金额:$165.39万
-
财政年份:2011
-
负责人:Maibaum, Thomas
-
依托单位:
国内基金
海外基金
The formation and evolution of planetary systems in dense star clusters
-
批准号:11043007
-
项目类别:专项基金项目
-
资助金额:10.0万元
-
批准年份:2010
-
负责人:柯文采
-
依托单位: