Workshop: Engineering Automation for Computer-Based Systems on October 26-29, 1998 at Carmel, CA

研讨会:基于计算机的系统的工程自动化,1998 年 10 月 26 日至 29 日在加利福尼亚州卡梅尔举行

基本信息

  • 批准号:
    9813820
  • 负责人:
  • 金额:
    $ 1.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Interagency Agreement
  • 财政年份:
    1998
  • 资助国家:
    美国
  • 起止时间:
    1998-07-01 至 1999-06-30
  • 项目状态:
    已结题

项目摘要

9813820 Engineering of systems with computerized components is an important research area for better quality systems as well as speeding up the construction process. Building quality computer systems that can meet user needs effectively and reliably is currently a major problem. Formal methods that can be partially or completely automated provide a promising approach to this problem. A three-day workshop on this subject is proposed, to take place in Carmel. The purposes of the workshop are to identify criteria for determining potential practical impact of automatable methods for engineering of computer based systems, to assess current research efforts in this area, to identify results and directions that can increase the degree of automation, to aid tool integration by building a common understanding, and to increase the practical use of formal methods via automation.***
9813820计算机化组件系统工程是提高质量体系和加快施工过程的重要研究领域。构建能够有效和可靠地满足用户需求的高质量计算机系统是当前的一个主要问题。可以部分或完全自动化的形式化方法为这个问题提供了一个有前途的方法。建议在卡梅尔举行一次关于这一主题的为期三天的讲习班。 研讨会的目的是确定标准,以确定基于计算机的系统工程的自动化方法的潜在实际影响,评估该领域目前的研究工作,确定可以提高自动化程度的结果和方向,通过建立共同理解来帮助工具集成,并通过自动化增加正式方法的实际使用。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Dr Luqi其他文献

Dr Luqi的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Dr Luqi', 18)}}的其他基金

Monterey Workshop 2001-- Engineering Automation for Software Intensive System Integration
蒙特利研讨会 2001——软件密集型系统集成的工程自动化
  • 批准号:
    0105166
  • 财政年份:
    2001
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Formal Methods for Software Development Workshop, Monterey, CA.
软件开发研讨会的正式方法,蒙特利,加利福尼亚州。
  • 批准号:
    9415054
  • 财政年份:
    1994
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Interagency Agreement
PYI: Computer-Aided Prototyping of Real-Time Systems
PYI:实时系统的计算机辅助原型设计
  • 批准号:
    9058453
  • 财政年份:
    1990
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Interagency Agreement
US-Federal Republic of Germany Cooperative Research: (Computer Science) Rapid prototyping for Distributed Applications
美德合作研究:(计算机科学)分布式应用快速原型设计
  • 批准号:
    8922521
  • 财政年份:
    1990
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Automated Rapid Prototyping Environment
自动化快速原型环境
  • 批准号:
    8710737
  • 财政年份:
    1987
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Interagency Agreement

相似国自然基金

Frontiers of Environmental Science & Engineering
  • 批准号:
    51224004
  • 批准年份:
    2012
  • 资助金额:
    20.0 万元
  • 项目类别:
    专项基金项目
Chinese Journal of Chemical Engineering
  • 批准号:
    21224004
  • 批准年份:
    2012
  • 资助金额:
    20.0 万元
  • 项目类别:
    专项基金项目
Chinese Journal of Chemical Engineering
  • 批准号:
    21024805
  • 批准年份:
    2010
  • 资助金额:
    20.0 万元
  • 项目类别:
    专项基金项目

相似海外基金

From examples to knowledge to software engineering support and automation
从示例到知识再到软件工程支持和自动化
  • 批准号:
    RGPIN-2019-07168
  • 财政年份:
    2022
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Discovery Grants Program - Individual
Neural-Network-Aided Engineering: New Frontiers in Automation
神经网络辅助工程:自动化新领域
  • 批准号:
    RGPIN-2018-05668
  • 财政年份:
    2022
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Discovery Grants Program - Individual
CISE-MSI: RCBP-ED: CNS: Data Science and Engineering for Agriculture Automation
CISE-MSI:RCBP-ED:CNS:农业自动化数据科学与工程
  • 批准号:
    2131269
  • 财政年份:
    2021
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
SBIR Phase I: Artificial Intelligence Enhanced Design Automation for General Engineering Systems
SBIR 第一阶段:通用工程系统的人工智能增强设计自动化
  • 批准号:
    2055030
  • 财政年份:
    2021
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
From examples to knowledge to software engineering support and automation
从示例到知识再到软件工程支持和自动化
  • 批准号:
    RGPIN-2019-07168
  • 财政年份:
    2021
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Discovery Grants Program - Individual
Neural-Network-Aided Engineering: New Frontiers in Automation
神经网络辅助工程:自动化新领域
  • 批准号:
    RGPIN-2018-05668
  • 财政年份:
    2021
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Discovery Grants Program - Individual
SBIR Phase I: Feature Engineering Automation via Human Insight Integration and End to End Optimization
SBIR 第一阶段:通过人类洞察集成和端到端优化实现特征工程自动化
  • 批准号:
    2014224
  • 财政年份:
    2020
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
From examples to knowledge to software engineering support and automation
从示例到知识再到软件工程支持和自动化
  • 批准号:
    RGPIN-2019-07168
  • 财政年份:
    2020
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Discovery Grants Program - Individual
Neural-Network-Aided Engineering: New Frontiers in Automation
神经网络辅助工程:自动化新领域
  • 批准号:
    RGPIN-2018-05668
  • 财政年份:
    2020
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Discovery Grants Program - Individual
Convergence Accelerator Phase I (RAISE): Preparing the Future Workforce of Architecture, Engineering, and Construction for Robotic Automation Processes
融合加速器第一阶段 (RAISE):为机器人自动化流程的未来架构、工程和施工人员做好准备
  • 批准号:
    1937019
  • 财政年份:
    2019
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了