Software architecture, model driven development and fault tolerance
软件架构、模型驱动开发和容错
基本信息
- 批准号:26775-2011
- 负责人:
- 金额:$ 3.06万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2016
- 资助国家:加拿大
- 起止时间:2016-01-01 至 2017-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)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Maibaum, Thomas其他文献
[Does supplemental vitamin D help with respiratory infections and Covid-19?].
- DOI:
10.1007/s44266-023-00035-1 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Maibaum, Thomas - 通讯作者:
Maibaum, Thomas
Maibaum, Thomas的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Maibaum, Thomas', 18)}}的其他基金
Foundations of Software Engineering
软件工程基础
- 批准号:
1000225524-2010 - 财政年份:2017
- 资助金额:
$ 3.06万 - 项目类别:
Canada Research Chairs
Foundations of Software Engineering
软件工程基础
- 批准号:
1000225524-2010 - 财政年份:2016
- 资助金额:
$ 3.06万 - 项目类别:
Canada Research Chairs
Rigorous automated implementation of dependable distributed real-time systems (RAIDR)
可靠分布式实时系统 (RAIDR) 的严格自动化实施
- 批准号:
430575-2012 - 财政年份:2015
- 资助金额:
$ 3.06万 - 项目类别:
Strategic Projects - Group
Foundations of Software Engineering
软件工程基础
- 批准号:
1225524-2010 - 财政年份:2015
- 资助金额:
$ 3.06万 - 项目类别:
Canada Research Chairs
Software architecture, model driven development and fault tolerance
软件架构、模型驱动开发和容错
- 批准号:
26775-2011 - 财政年份:2015
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Network for the engineering of complex software intensive systems for automotive systems - NECSIS
汽车系统复杂软件密集型系统工程网络 - NECSIS
- 批准号:
386797-2009 - 财政年份:2015
- 资助金额:
$ 3.06万 - 项目类别:
Automotive Partnership Canada Project
Network for the engineering of complex software intensive systems for automotive systems - NECSIS
汽车系统复杂软件密集型系统工程网络 - NECSIS
- 批准号:
386797-2009 - 财政年份:2014
- 资助金额:
$ 3.06万 - 项目类别:
Automotive Partnership Canada Project
Foundations of Software Engineering
软件工程基础
- 批准号:
1000225524-2010 - 财政年份:2014
- 资助金额:
$ 3.06万 - 项目类别:
Canada Research Chairs
Software architecture, model driven development and fault tolerance
软件架构、模型驱动开发和容错
- 批准号:
26775-2011 - 财政年份:2014
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Foundations of Software Engineering
软件工程基础
- 批准号:
1000225524-2010 - 财政年份:2013
- 资助金额:
$ 3.06万 - 项目类别:
Canada Research Chairs
相似国自然基金
The formation and evolution of planetary systems in dense star clusters
- 批准号:11043007
- 批准年份:2010
- 资助金额:10.0 万元
- 项目类别:专项基金项目
相似海外基金
An easy-to-use software for 3D behavioral tracking from multi-view cameras
易于使用的软件,用于通过多视图摄像机进行 3D 行为跟踪
- 批准号:
10609129 - 财政年份:2021
- 资助金额:
$ 3.06万 - 项目类别:
Quantitative, Image-Based Osteoarthritis Biomarkers Software Resubmission
基于图像的定量骨关节炎生物标志物软件重新提交
- 批准号:
10207857 - 财政年份:2019
- 资助金额:
$ 3.06万 - 项目类别:
Description method and formal verification method with section behavior model based on software architecture
基于软件体系结构的分段行为模型描述方法和形式化验证方法
- 批准号:
19K11911 - 财政年份:2019
- 资助金额:
$ 3.06万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Quantitative, Image-Based Osteoarthritis Biomarkers Software Resubmission
基于图像的定量骨关节炎生物标志物软件重新提交
- 批准号:
10250562 - 财政年份:2019
- 资助金额:
$ 3.06万 - 项目类别:
C-PAC: A configurable, compute-optimized, cloud-enabled neuroimaging analysis software for reproducible translational and comparative
C-PAC:一种可配置、计算优化、支持云的神经影像分析软件,用于可重复的转化和比较
- 批准号:
9894275 - 财政年份:2018
- 资助金额:
$ 3.06万 - 项目类别:
C-PAC: A configurable, compute-optimized, cloud-enabled neuroimaging analysis software for reproducible translational and comparative
C-PAC:一种可配置、计算优化、支持云的神经影像分析软件,用于可重复的转化和比较
- 批准号:
9766371 - 财政年份:2018
- 资助金额:
$ 3.06万 - 项目类别:
Software for collaborative construction, simulation, and analysis of mechanistic computational models of biological systems
用于协同构建、模拟和分析生物系统机械计算模型的软件
- 批准号:
10609352 - 财政年份:2016
- 资助金额:
$ 3.06万 - 项目类别:
Continued Development and Maintenance of the UltraScan Software
UltraScan 软件的持续开发和维护
- 批准号:
9323513 - 财政年份:2016
- 资助金额:
$ 3.06万 - 项目类别:
Software architecture, model driven development and fault tolerance
软件架构、模型驱动开发和容错
- 批准号:
26775-2011 - 财政年份:2015
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
High-performance weighted ensemble software for simulation of complex bio-events
用于模拟复杂生物事件的高性能加权集成软件
- 批准号:
9816923 - 财政年份:2015
- 资助金额:
$ 3.06万 - 项目类别: