Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
基本信息
- 批准号：RGPIN-2016-03717
- 负责人：
- 金额：$ 2.26万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
architectural design; communication protocols; controller derivation; design derivation; distributed systems; partial order specifications; requirements specifications; service composition; software engineering; Web Services
建筑设计；通讯协议；控制器推导；设计推导；分布式系统；部分订单规格；要求规范；服务组合；软件工程；网络服务
项目成果
期刊论文数量（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 }}
Bochmann, Gregor其他文献
Bochmann, Gregor的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Bochmann, Gregor', 18)}}的其他基金
Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
- 批准号：
RGPIN-2016-03717 - 财政年份：2019
- 资助金额：
$ 2.26万 - 项目类别：
Discovery Grants Program - Individual
Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
- 批准号：
RGPIN-2016-03717 - 财政年份：2018
- 资助金额：
$ 2.26万 - 项目类别：
Discovery Grants Program - Individual
Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
- 批准号：
RGPIN-2016-03717 - 财政年份：2017
- 资助金额：
$ 2.26万 - 项目类别：
Discovery Grants Program - Individual
Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
- 批准号：
RGPIN-2016-03717 - 财政年份：2016
- 资助金额：
$ 2.26万 - 项目类别：
Discovery Grants Program - Individual
Software development for distributed applications and scalable execution platforms
分布式应用程序和可扩展执行平台的软件开发
- 批准号：
156880-2011 - 财政年份：2015
- 资助金额：
$ 2.26万 - 项目类别：
Discovery Grants Program - Individual
Software development for distributed applications and scalable execution platforms
分布式应用程序和可扩展执行平台的软件开发
- 批准号：
156880-2011 - 财政年份：2014
- 资助金额：
$ 2.26万 - 项目类别：
Discovery Grants Program - Individual
Software development for distributed applications and scalable execution platforms
分布式应用程序和可扩展执行平台的软件开发
- 批准号：
156880-2011 - 财政年份：2013
- 资助金额：
$ 2.26万 - 项目类别：
Discovery Grants Program - Individual
Distributed crawling and security assessment of rich internet applications
富互联网应用的分布式爬取与安全评估
- 批准号：
419394-2011 - 财政年份：2013
- 资助金额：
$ 2.26万 - 项目类别：
Collaborative Research and Development Grants
Distributed crawling and security assessment of rich internet applications
富互联网应用的分布式爬取与安全评估
- 批准号：
419394-2011 - 财政年份：2012
- 资助金额：
$ 2.26万 - 项目类别：
Collaborative Research and Development Grants
Software development for distributed applications and scalable execution platforms
分布式应用程序和可扩展执行平台的软件开发
- 批准号：
156880-2011 - 财政年份：2012
- 资助金额：
$ 2.26万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
基于定量分离逻辑的舰载机弹药保障作业规划方案正确性验证
- 批准号：62302459
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
自动综合增强多尺度数据匹配正确率的方法
- 批准号：
- 批准年份：2022
- 资助金额：51 万元
- 项目类别：面上项目
系统软件平台端到端正确性的验证方法研究
- 批准号：
- 批准年份：2020
- 资助金额：24 万元
- 项目类别：青年科学基金项目
高维估计方程模型中的正确矩条件识别问题研究
- 批准号：72003150
- 批准年份：2020
- 资助金额：24 万元
- 项目类别：青年科学基金项目
基于谱正确有限元离散的弹性传输特征值问题高效数值方法
- 批准号：11901295
- 批准年份：2019
- 资助金额：24.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
- 批准号：
RGPIN-2016-03717 - 财政年份：2019
- 资助金额：
$ 2.26万 - 项目类别：
Discovery Grants Program - Individual
Improving the Construction of Correct Distributed Systems
改进正确的分布式系统的构建
- 批准号：
RGPIN-2019-05090 - 财政年份：2019
- 资助金额：
$ 2.26万 - 项目类别：
Discovery Grants Program - Individual
Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
- 批准号：
RGPIN-2016-03717 - 财政年份：2018
- 资助金额：
$ 2.26万 - 项目类别：
Discovery Grants Program - Individual
Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
- 批准号：
RGPIN-2016-03717 - 财政年份：2017
- 资助金额：
$ 2.26万 - 项目类别：
Discovery Grants Program - Individual
Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
- 批准号：
RGPIN-2016-03717 - 财政年份：2016
- 资助金额：
$ 2.26万 - 项目类别：
Discovery Grants Program - Individual