刷新
{{item.name}}会员
Visualization of software specifications and simulations
软件规范和模拟的可视化
基本信息
- 批准号：122395-1992
- 负责人：
- 金额：$ 1.46万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：1993
- 资助国家：加拿大
- 起止时间：1993-01-01 至 1994-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
没有总结 - Aucun sommaire
项目成果
期刊论文数量（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 }}
Keller, Rudolf其他文献
Keller, Rudolf的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Keller, Rudolf', 18)}}的其他基金
Concepts and tools for high-level software composition
高级软件组合的概念和工具
- 批准号：
175039-1999 - 财政年份：2001
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Concepts and tools for high-level software composition
高级软件组合的概念和工具
- 批准号：
175039-1999 - 财政年份：2000
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Concepts and tools for high-level software composition
高级软件组合的概念和工具
- 批准号：
175039-1999 - 财政年份：1999
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Consortium for software engineering research
软件工程研究联盟
- 批准号：
195817-1995 - 财政年份：1999
- 资助金额：
$ 1.46万 - 项目类别：
Cooperative Activities
Consortium for software engineering research
软件工程研究联盟
- 批准号：
195817-1995 - 财政年份：1998
- 资助金额：
$ 1.46万 - 项目类别：
Cooperative Activities
Concepts and Tools for Modelling and Analysis of Evolving Systems
演化系统建模和分析的概念和工具
- 批准号：
175039-1995 - 财政年份：1998
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Concepts and Tools for Modelling and Analysis of Evolving Systems
演化系统建模和分析的概念和工具
- 批准号：
175039-1995 - 财政年份：1997
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Consortium for software engineering research
软件工程研究联盟
- 批准号：
195817-1995 - 财政年份：1996
- 资助金额：
$ 1.46万 - 项目类别：
Cooperative Activities
Concepts and Tools for Modelling and Analysis of Evolving Systems
演化系统建模和分析的概念和工具
- 批准号：
175039-1995 - 财政年份：1996
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Concepts and Tools for Modelling and Analysis of Evolving Systems
演化系统建模和分析的概念和工具
- 批准号：
175039-1995 - 财政年份：1995
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
低辐射空间环境下商用多核处理器层次化软件容错技术研究
- 批准号：90818016
- 批准年份：2008
- 资助金额：50.0 万元
- 项目类别：重大研究计划
相似海外基金
EAGER: Requirements Domain Specifications for Machine-Learned Software Components
EAGER：机器学习软件组件的需求领域规范
- 批准号：
2124606 - 财政年份：2021
- 资助金额：
$ 1.46万 - 项目类别：
Standard Grant
SHF: Small: Collaborative Research: RUI: Synchronicity: A Framework for Synthesizing Concurrent Software from Sequential and Cooperative Specifications
SHF：小型：协作研究：RUI：同步性：根据顺序和协作规范合成并发软件的框架
- 批准号：
1812951 - 财政年份：2018
- 资助金额：
$ 1.46万 - 项目类别：
Standard Grant
SHF: Small: Collaborative Research: Synchronicity: A Framework for Synthesizing Concurrent Software from Sequential and Cooperative Specifications
SHF：小型：协作研究：同步性：根据顺序和协作规范合成并发软件的框架
- 批准号：
1813133 - 财政年份：2018
- 资助金额：
$ 1.46万 - 项目类别：
Standard Grant
SHF:Large:Collaborative Research: Inferring Software Specifications from Open Source Repositories by Leveraging Data and Collective Community Expertise
SHF：大型：协作研究：利用数据和集体社区专业知识从开源存储库推断软件规范
- 批准号：
1518789 - 财政年份：2015
- 资助金额：
$ 1.46万 - 项目类别：
Standard Grant
CRII: SHF: Automatic Extraction of Error-Handling Specifications in Systems Software
CRII：SHF：系统软件中错误处理规范的自动提取
- 批准号：
1464439 - 财政年份：2015
- 资助金额：
$ 1.46万 - 项目类别：
Standard Grant
SHF:Large:Collaborative Research: Inferring Software Specifications from Open Source Repositories by Leveraging Data and Collective Community Expertise
SHF：大型：协作研究：利用数据和集体社区专业知识从开源存储库推断软件规范
- 批准号：
1518732 - 财政年份：2015
- 资助金额：
$ 1.46万 - 项目类别：
Standard Grant
SHF: Large:Collaborative Research: Inferring Software Specifications from Open Source Repositories by Leveraging Data and Collective Community Expertise
SHF：大型：协作研究：利用数据和集体社区专业知识从开源存储库推断软件规范
- 批准号：
1518897 - 财政年份：2015
- 资助金额：
$ 1.46万 - 项目类别：
Standard Grant
Developing design specifications for water resources system software to support spatial analytics
开发水资源系统软件的设计规范以支持空间分析
- 批准号：
490939-2015 - 财政年份：2015
- 资助金额：
$ 1.46万 - 项目类别：
Engage Grants Program
SHF:Large:Collaborative Research: Inferring Software Specifications from Open Source Repositories by Leveraging Data and Collective Community Expertise
SHF：大型：协作研究：利用数据和集体社区专业知识从开源存储库推断软件规范
- 批准号：
1518776 - 财政年份：2015
- 资助金额：
$ 1.46万 - 项目类别：
Standard Grant
Software verification tools based on lightweight specifications
基于轻量级规范的软件验证工具
- 批准号：
356027-2008 - 财政年份：2012
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual