课题基金 / 基金详情

Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning

Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
使用自动演绎推理对抽象行为模型进行形式化分析
批准号：
RGPIN-2016-03992
负责人：
Day, Nancy
金额：
$2.26万
依托单位：
University of Waterloo
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2017
资助国家：
加拿大
项目状态：
已结题
起止时间：
2017-01-01 至 2018-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634591
关键词：
FormalAnalysisAbstractBehaviouralModels

项目摘要

项目成果

Day, Nancy的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
As software is being used to increase the utility, value, and convenience of so many systems and devices in our world, software developers face the significant challenges of managing complexity and assuring quality. Creating and using new abstraction levels is one of the solutions to help manage complexity. Model-driven engineering (MDE) brings together the ideas of abstraction and analysis. In creating models, engineers codify their knowledge of the system under development. Creating models using abstract concepts frees the engineer to concentrate on the important details that s/he wants to codify without sacrificing precision for unknown/irrelevant aspects of the model.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
  • 批准号：
    RGPIN-2016-03992
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $4.52万
  • 财政年份：
    2022
  • 负责人：
    Day, Nancy
  • 依托单位：
    University of Waterloo
Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
  • 批准号：
    RGPIN-2016-03992
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.26万
  • 财政年份：
    2021
  • 负责人：
    Day, Nancy
  • 依托单位：
    University of Waterloo
Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
  • 批准号：
    RGPIN-2016-03992
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.26万
  • 财政年份：
    2020
  • 负责人：
    Day, Nancy
  • 依托单位：
    University of Waterloo
Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
  • 批准号：
    RGPIN-2016-03992
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.26万
  • 财政年份：
    2019
  • 负责人：
    Day, Nancy
  • 依托单位：
    University of Waterloo
国内基金
海外基金
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
Intelligent Patent Analysis for Optimized Technology Stack Selection:Blockchain BusinessRegistry Case Demonstration
  • 批准号：
    --
  • 项目类别：
    外国学者研究基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    USHARANI HAREESH GOVINDARA JAN
  • 依托单位：
    上海理工大学管理学院
基于Meta-analysis的新疆棉花灌水增产模型研究
  • 批准号：
    41601604
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    22.0万元
  • 批准年份：
    2016
  • 负责人：
    赵爱琴
  • 依托单位：
    农业农村部规划设计研究院
大规模微阵列数据组的meta-analysis方法研究
  • 批准号：
    31100958
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    20.0万元
  • 批准年份：
    2011
  • 负责人：
    赵洪雅
  • 依托单位：
    深圳职业技术学院