课题基金 / 基金详情

Enriching system models and verdicts for testing and verification of software systems

Enriching system models and verdicts for testing and verification of software systems
丰富系统模型和判决，用于软件系统的测试和验证
批准号：
RGPIN-2016-05626
负责人：
Hallé, Sylvain
金额：
$2.77万
依托单位：
Université du Québec à Chicoutimi
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2019
资助国家：
加拿大
项目状态：
已结题
起止时间：
2019-01-01 至 2020-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=687109
关键词：
Enrichingsystemmodelsverdictstesting

项目摘要

项目成果

Hallé, Sylvain的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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)
会议论文
Enriching system models and verdicts for testing and verification of software systems
  • 批准号：
    RGPIN-2016-05626
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.77万
  • 财政年份：
    2022
  • 负责人：
    Hallé, Sylvain
  • 依托单位：
    Université du Québec à Chicoutimi
Software Specification, Testing and Verification
  • 批准号：
    CRC-2020-00308
  • 项目类别：
    Canada Research Chairs
  • 资助金额：
    $7.29万
  • 财政年份：
    2022
  • 负责人：
    Hallé, Sylvain
  • 依托单位：
    Université du Québec à Chicoutimi
Software Specification, Testing And Verification
  • 批准号：
    CRC-2020-00308
  • 项目类别：
    Canada Research Chairs
  • 资助金额：
    $7.29万
  • 财政年份：
    2021
  • 负责人：
    Hallé, Sylvain
  • 依托单位：
    Université du Québec à Chicoutimi
Enriching system models and verdicts for testing and verification of software systems
  • 批准号：
    RGPIN-2016-05626
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.77万
  • 财政年份：
    2021
  • 负责人：
    Hallé, Sylvain
  • 依托单位：
    Université du Québec à Chicoutimi
国内基金
海外基金
基于铁死亡探讨黄芪甲苷调控System/Xc-/GSH/GPX4信号通路在神经损伤性勃起功能障碍治疗中的作用及机制研究
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    马轲
  • 依托单位：
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
TBX1/LKB1轴阻断system Xc活性调控AML细胞铁死亡的机制研究
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    15.0万元
  • 批准年份：
    2024
  • 负责人：
  • 依托单位：
TET2通过调控BAP1-System Xc-轴促进紫拉非尼诱导的肝细胞癌铁死亡的机制研究
  • 批准号：
    --
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    --
  • 依托单位：
    江南大学附属医院