课题基金 / 基金详情

Software Specification, Testing and Verification

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

项目摘要

项目成果

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 chair 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
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
海外基金