Enriching system models and verdicts for testing and verification of software systems
丰富系统模型和判决,用于软件系统的测试和验证
基本信息
- 批准号:RGPIN-2016-05626
- 负责人:
- 金额:$ 2.77万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2020
- 资助国家:加拿大
- 起止时间:2020-01-01 至 2021-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Recent news are rife with headlines on incidents involving software malfunctions, with consequences ranging from the merely annoying to the dramatic. This has created a context of increased pressure for more correct software, and a growing demand for tools and techniques that may help software developers reach this goal. This research program shall contribute to the development of reliable software systems by concentrating on their specification, testing and verification. This goal will be reached by the study and development of expressive specification languages and the production of useful and testing and verification theories and automated software tools.
最近的新闻充斥着关于软件故障事件的头条新闻,其后果从仅仅令人讨厌到戏剧性。这就造成了对更正确的软件的压力越来越大,对可以帮助软件开发人员实现这一目标的工具和技术的需求也越来越大。本研究计划应有助于通过集中在他们的规格说明,测试和验证可靠的软件系统的开发。这一目标将通过研究和开发表达性规范语言以及生产有用的测试和验证理论和自动化软件工具来实现。
项目成果
期刊论文数量(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 }}
Hallé, Sylvain其他文献
Hallé, Sylvain的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Hallé, Sylvain', 18)}}的其他基金
Enriching system models and verdicts for testing and verification of software systems
丰富系统模型和判决,用于软件系统的测试和验证
- 批准号:
RGPIN-2016-05626 - 财政年份:2022
- 资助金额:
$ 2.77万 - 项目类别:
Discovery Grants Program - Individual
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号:
CRC-2020-00308 - 财政年份:2022
- 资助金额:
$ 2.77万 - 项目类别:
Canada Research Chairs
Software Specification, Testing And Verification
软件规格、测试和验证
- 批准号:
CRC-2020-00308 - 财政年份:2021
- 资助金额:
$ 2.77万 - 项目类别:
Canada Research Chairs
Enriching system models and verdicts for testing and verification of software systems
丰富系统模型和判决,用于软件系统的测试和验证
- 批准号:
RGPIN-2016-05626 - 财政年份:2021
- 资助金额:
$ 2.77万 - 项目类别:
Discovery Grants Program - Individual
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号:
1000230760-2015 - 财政年份:2020
- 资助金额:
$ 2.77万 - 项目类别:
Canada Research Chairs
Veille de vulnérabilités et menaces sur les objets connectés
连接对象的漏洞和威胁
- 批准号:
543439-2019 - 财政年份:2019
- 资助金额:
$ 2.77万 - 项目类别:
Engage Grants Program
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号:
1000230760-2015 - 财政年份:2019
- 资助金额:
$ 2.77万 - 项目类别:
Canada Research Chairs
Enriching system models and verdicts for testing and verification of software systems
丰富系统模型和判决,用于软件系统的测试和验证
- 批准号:
RGPIN-2016-05626 - 财政年份:2019
- 资助金额:
$ 2.77万 - 项目类别:
Discovery Grants Program - Individual
Enriching system models and verdicts for testing and verification of software systems
丰富系统模型和判决,用于软件系统的测试和验证
- 批准号:
RGPIN-2016-05626 - 财政年份:2018
- 资助金额:
$ 2.77万 - 项目类别:
Discovery Grants Program - Individual
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号:
1000230760-2015 - 财政年份:2018
- 资助金额:
$ 2.77万 - 项目类别:
Canada Research Chairs
相似国自然基金
基于铁死亡探讨黄芪甲苷调控System/Xc-/GSH/GPX4信号通路在神经损伤性勃起功能障碍治疗中的作用及机制研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国青年学者研究基金项目
TBX1/LKB1轴阻断system Xc活性调控AML细胞铁死亡的机制研究
- 批准号:
- 批准年份:2024
- 资助金额:15.0 万元
- 项目类别:省市级项目
TET2通过调控BAP1-System Xc-轴促进紫拉非尼诱导的肝细胞癌铁死亡的机制研究
- 批准号:
- 批准年份:2024
- 资助金额:0 万元
- 项目类别:青年科学基金项目
P3H1通过ATF4/System Xc-轴抑制肾癌铁死亡和抗肿瘤免疫反应的作用及机制研究
- 批准号:82372704
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
Lienard系统的不变代数曲线、可积性与极限环问题研究
- 批准号:12301200
- 批准年份:2023
- 资助金额:30.00 万元
- 项目类别:青年科学基金项目
二氧化碳与高碳烷烃耦合转化多相催化体系研究
- 批准号:22372180
- 批准年份:2023
- 资助金额:50.00 万元
- 项目类别:面上项目
酶响应的中性粒细胞外泌体载药体系在眼眶骨缺损修复中的作用及机制研究
- 批准号:82371102
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
多孔Ti-MSNs@MGF+DX抗炎—成肌体系应用于颞下颌关节假体的作用和机制研究
- 批准号:82370984
- 批准年份:2023
- 资助金额:48.00 万元
- 项目类别:面上项目
槲皮素控释系统调控Mettl3/Per1修复氧化应激损伤促牙周炎骨再生及机制研究
- 批准号:82370921
- 批准年份:2023
- 资助金额:48.00 万元
- 项目类别:面上项目
相似海外基金
EAGER: Generalizing Monin-Obukhov Similarity Theory (MOST)-based Surface Layer Parameterizations for Turbulence Resolving Earth System Models (ESMs)
EAGER:将基于 Monin-Obukhov 相似理论 (MOST) 的表面层参数化推广到湍流解析地球系统模型 (ESM)
- 批准号:
2414424 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
Small Molecule Degraders of Tryptophan 2,3-Dioxygenase Enzyme (TDO) as Novel Treatments for Neurodegenerative Disease
色氨酸 2,3-双加氧酶 (TDO) 的小分子降解剂作为神经退行性疾病的新疗法
- 批准号:
10752555 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
AI4PEX: Artificial Intelligence and Machine Learning for Enhanced Representation of Processes and Extremes in Earth System Models
AI4PEX:人工智能和机器学习,用于增强地球系统模型中过程和极值的表示
- 批准号:
10103109 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
EU-Funded
Developmental mechanisms specifying vagal innervation of organ targets
指定器官目标迷走神经支配的发育机制
- 批准号:
10752553 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
An Artificial Intelligence Engineering System Analysis Assistant (Aiesaa) for auto-creation of integrated transmission-distribution grid models
用于自动创建综合输配电网模型的人工智能工程系统分析助手(Aiesaa)
- 批准号:
2329536 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
Male x Female Protein Interactions Mediating Reproductive Success in the Drosophila Mating Plug
雄性与雌性蛋白质相互作用介导果蝇交配插头的繁殖成功
- 批准号:
10824541 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
Executive functions in urban Hispanic/Latino youth: exposure to mixture of arsenic and pesticides during childhood
城市西班牙裔/拉丁裔青年的执行功能:童年时期接触砷和农药的混合物
- 批准号:
10751106 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
Uncovering the Functional Effects of Neurotrophins in the Auditory Brainstem
揭示神经营养素对听觉脑干的功能影响
- 批准号:
10823506 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
Exploring Tipping Points and Their Impacts Using Earth System Models (TipESM)
使用地球系统模型探索临界点及其影响 (TipESM)
- 批准号:
10090271 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
EU-Funded
Artificial Intelligence and Machine Learning for Enhanced Representation of Processes and Extremes in Earth System Models (AI4PEX)
人工智能和机器学习增强地球系统模型中过程和极值的表示(AI4PEX)
- 批准号:
10093450 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
EU-Funded