课题基金 / 基金详情

Software Specification, Testing and Verification

Software Specification, Testing and Verification
软件规格、测试和验证
批准号：
CRC-2020-00308
负责人：
Hallé, Sylvain
金额：
$7.29万
依托单位：
Université du Québec à Chicoutimi
依托单位国家：
加拿大
项目类别：
Canada Research Chairs
财政年份：
2022
资助国家：
加拿大
项目状态：
已结题
起止时间：
2022-01-01 至 2023-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=757383
关键词：
SoftwareSpecificationTestingVerification

项目摘要

项目成果

Hallé, Sylvain的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
software verification testing software specification bug finding
期刊论文(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
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
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万
  • 财政年份：
    2020
  • 负责人：
    Hallé, Sylvain
  • 依托单位：
    Université du Québec à Chicoutimi
海外基金