课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
随着软件被用来增加我们世界上如此多系统和设备的实用性、价值和便利性，软件开发人员面临着管理复杂性和确保质量的重大挑战。创建和使用新的抽象级别是帮助管理复杂性的解决方案之一。模型驱动工程(MDE)融合了抽象和分析的思想。在创建模型时，工程师将他们对正在开发的系统的知识进行编码。使用抽象概念创建模型使工程师可以专注于S想要编码的重要细节，而不会牺牲模型的未知/无关方面的精度。
英文摘要
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
  • 负责人：
    赵洪雅
  • 依托单位：
    深圳职业技术学院