The CUE Initiative on The Scientific Foundation of Software Engineering

软件工程科学基础的 CUE 计划

基本信息

  • 批准号:
    0327252
  • 负责人:
  • 金额:
    $ 0.7万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2003
  • 资助国家:
    美国
  • 起止时间:
    2003-04-15 至 2004-03-31
  • 项目状态:
    已结题

项目摘要

ABSTRACT0327252Edmund ClarkeCarnegie-Mellon UWe believe that there is both a need and an opportunity to bring together important problems in softwaredevelopment praxis with the theoretical advances that promise solutions. After consultation with the US National Science Foundation, the Chinese National Science Foundation, and the European Commission IST program, we propose to form an International Working Group in order identify such problems and related theoretical advances, and bring together the appropriate practitioners and scientists in a series of workshops. The outcome of a workshop may be the recognition of a gap in the theoretical foundations; filling that gap would then become an item in the research agenda. A different outcome may be the recognition that applicable theory is available but needs to be packaged for practical use. For example, the theory may be used as the foundation of a systematic method that can be applied in normal design; this work would become an item of an agenda for development rather than for research.
Edmund Clarkegie-Mellon U我们相信,将软件开发实践中的重要问题与保证解决方案的理论进展结合起来既是一种需要,也是一种机会。在与美国国家科学基金会、中国国家科学基金会和欧盟委员会IST计划协商后,我们建议成立一个国际工作组,以确定这些问题和相关的理论进展,并在一系列研讨会上召集适当的从业者和科学家。讲习班的成果可能是认识到理论基础方面的差距;填补这一差距将成为研究议程上的一个项目。一个不同的结果可能是承认适用的理论是存在的,但需要打包以供实际使用。例如,该理论可以作为一种系统方法的基础,应用于正常的设计;这项工作将成为发展议程的一个项目,而不是研究。

项目成果

期刊论文数量(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 }}

Edmund Clarke其他文献

Increase in terahertz-wave intensity in a magnetic field due to difference-frequency mixing by exciton excitation in a GaAs/AlAs multiple quantum well
GaAs/AlAs 多量子阱中激子激发的差频混合导致磁场中太赫兹波强度的增加
  • DOI:
    10.1364/oe.453812
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    3.8
  • 作者:
    Osamu Kojima;Yuki Tarui;Takashi Kita;Avan Majeed;Pavlo Ivanov;Edmund Clarke;Richard A. Hogg
  • 通讯作者:
    Richard A. Hogg
Computational challenges in bounded model checking
中性子回折による酸化物高温超伝導体の結晶構造解析
氧化物高温超导体的中子衍射晶体结构分析
  • DOI:
  • 发表时间:
    2010
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Nobuhiko Ozaki;Yohei Nakatani;Shunsuke Ohkouchi;Naoki Ikeda;Yoshimasa Sugimoto;Kiyoshi Asakawa;Edmund Clarke;Richard A. Hogg;茂筑高士
  • 通讯作者:
    茂筑高士
Continuously Sustained Bose-Einstein Photon Condensate in a Semiconductor Quantum Well Open Microcavity
半导体量子阱开放微腔中连续持续的玻色-爱因斯坦光子凝聚
Efficient verification of security protocols using partial-order reductions

Edmund Clarke的其他文献

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

{{ truncateString('Edmund Clarke', 18)}}的其他基金

Collaborative Research: Next-Generation Model Checking and Abstract Interpretation with a Focus on Embedded Control and Systems Biology
合作研究:以嵌入式控制和系统生物学为重点的下一代模型检查和摘要解释
  • 批准号:
    0926181
  • 财政年份:
    2009
  • 资助金额:
    $ 0.7万
  • 项目类别:
    Standard Grant
The Component Substitution Problem for Software Systems
软件系统的组件替换问题
  • 批准号:
    0541245
  • 财政年份:
    2006
  • 资助金额:
    $ 0.7万
  • 项目类别:
    Standard Grant
EHS: Graph-Based Refinement Strategies for Hybrid Systems
EHS:混合系统基于图的细化策略
  • 批准号:
    0411152
  • 财政年份:
    2004
  • 资助金额:
    $ 0.7万
  • 项目类别:
    Continuing Grant
Efficient Model Checking of Concurrent and Dynamic Software
并发动态软件的高效模型检查
  • 批准号:
    0429120
  • 财政年份:
    2004
  • 资助金额:
    $ 0.7万
  • 项目类别:
    Continuing Grant
Automatic Verification of Concurrent Hardware and Software Systems
并行硬件和软件系统的自动验证
  • 批准号:
    0098072
  • 财政年份:
    2001
  • 资助金额:
    $ 0.7万
  • 项目类别:
    Continuing Grant
ITR/SY: Verification Tools for Autonomous and Embedded Systems
ITR/SY:自主和嵌入式系统的验证工具
  • 批准号:
    0121547
  • 财政年份:
    2001
  • 资助金额:
    $ 0.7万
  • 项目类别:
    Continuing Grant
NSF-CNPq Collaborative Research: Formal Verification of Computer Systems in Industrial Complexity
NSF-CNPq 合作研究:工业复杂性中计算机系统的形式验证
  • 批准号:
    9900309
  • 财政年份:
    1999
  • 资助金额:
    $ 0.7万
  • 项目类别:
    Standard Grant
Automatic Verification of Finite-State Concurrent Systems in Hardware and Software
软硬件有限状态并发系统的自动验证
  • 批准号:
    9803774
  • 财政年份:
    1998
  • 资助金额:
    $ 0.7万
  • 项目类别:
    Continuing Grant
Automatic Verification of Finite-State Concurrent Systems in Hardware and Software
软硬件有限状态并发系统的自动验证
  • 批准号:
    9217549
  • 财政年份:
    1993
  • 资助金额:
    $ 0.7万
  • 项目类别:
    Continuing Grant
U.S.-Japan Cooperative Research: Formal Verification of Finite State Systems
美日合作研究:有限状态系统的形式验证
  • 批准号:
    9016694
  • 财政年份:
    1991
  • 资助金额:
    $ 0.7万
  • 项目类别:
    Standard Grant

相似海外基金

Scientific and Public Outreach of Cell Type Taxonomies (SPOCTT) Initiative
细胞类型分类学的科学和公众推广 (SPOCTT) 计划
  • 批准号:
    10724950
  • 财政年份:
    2023
  • 资助金额:
    $ 0.7万
  • 项目类别:
Collaborative Research: Environmental Data Initiative: Sustaining the Legacy of Scientific Data
合作研究:环境数据倡议:维持科学数据的遗产
  • 批准号:
    1931174
  • 财政年份:
    2019
  • 资助金额:
    $ 0.7万
  • 项目类别:
    Standard Grant
Collaborative Research: Environmental Data Initiative: Sustaining the Legacy of Scientific Data
合作研究:环境数据倡议:维持科学数据的遗产
  • 批准号:
    1931143
  • 财政年份:
    2019
  • 资助金额:
    $ 0.7万
  • 项目类别:
    Standard Grant
Environmental Data Initiative (EDI) - streamlining data curation to accelerate scientific inquiry
环境数据倡议 (EDI) - 简化数据管理以加速科学探究
  • 批准号:
    1629233
  • 财政年份:
    2016
  • 资助金额:
    $ 0.7万
  • 项目类别:
    Continuing Grant
Winston-Salem State University Research Initiative for Scientific Enhancement
温斯顿塞勒姆州立大学科学增强研究计划
  • 批准号:
    9231464
  • 财政年份:
    2015
  • 资助金额:
    $ 0.7万
  • 项目类别:
Winston-Salem State University Research Initiative for Scientific Enhancement
温斯顿塞勒姆州立大学科学增强研究计划
  • 批准号:
    8854523
  • 财政年份:
    2015
  • 资助金额:
    $ 0.7万
  • 项目类别:
Collaborative Research: A Multi-State Investigation of Small Group and Mass Public Decision Making on Fiscal and Scientific Controversies through the Citizens' Initiative Review
合作研究:通过公民倡议审查对财政和科学争议的小团体和大众公共决策进行多州调查
  • 批准号:
    1357276
  • 财政年份:
    2014
  • 资助金额:
    $ 0.7万
  • 项目类别:
    Standard Grant
Medgar Evers College Research Initiative for Scientific Enhancement
梅德加埃弗斯学院科学增强研究计划
  • 批准号:
    8856601
  • 财政年份:
    2014
  • 资助金额:
    $ 0.7万
  • 项目类别:
Medgar Evers College Research Initiative for Scientific Enhancement
梅德加埃弗斯学院科学增强研究计划
  • 批准号:
    8687465
  • 财政年份:
    2014
  • 资助金额:
    $ 0.7万
  • 项目类别:
Interim Funding: Medgar Evers College Research Initiative for Scientific Enhancement
临时资助:梅德加·埃弗斯学院科学增强研究计划
  • 批准号:
    9913911
  • 财政年份:
    2014
  • 资助金额:
    $ 0.7万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了