课题基金 / 基金详情

US-Europe Cooperative Workshop: Compatability and Integration of Software Engineering Tools

US-Europe Cooperative Workshop: Compatability and Integration of Software Engineering Tools
美欧合作研讨会:软件工程工具的兼容性与集成
批准号:
0437281
负责人:
Zohar Manna
金额:
$0.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2004
资助国家:
美国
项目状态:
已结题
起止时间:
2004-09-01 至 2007-02-28

项目摘要

项目成果

Zohar Manna的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Manna0437281This one-year award supports the participation of 15 US researchers, including two postdoctoral fellows in a US-European cooperative workshop, "Software Engineering Tools: Compatibility and Integration." The workshop is organized by Zohar Manna of Stanford University, Thomas Henzinger of the Ecole Polytechinque Federale of Lausanne, Switzerland, and Hermann Kopetz of the Technical University of Vienna, Austria. A lack of tool integration has been recognized as a major impediment to the construction of complex computer systems, especially in the development of embedded systems. Tool operability is an important prerequisite for increasing software productivity and reliability. The workshop will address these issues. The workshop will bring together American and European scientists that share a common interest in seeing that software development research serves as a catalyst for practical advances in next-generation software intensive systems. It is expected to give rise to new collaborations that advance the field. To advance this purpose, the workshop will include a meeting of the working group of the China, US, and Europe initiative (CUE), a global initiative to integrate theoretical computer science with software engineering practice.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CSR---EHS: A Modern Verifying Compiler
  • 批准号:
    0615449
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $16.0万
  • 财政年份:
    2006
  • 负责人:
    Zohar Manna
  • 依托单位:
Foundations of Event Correlation
  • 批准号:
    0430102
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2004
  • 负责人:
    Zohar Manna
  • 依托单位:
EHS: Constraint-based Static Analysis of Embedded and Hybrid Systems
  • 批准号:
    0411363
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $30.0万
  • 财政年份:
    2004
  • 负责人:
    Zohar Manna
  • 依托单位:
ITR: Synthesis and Control of Infinite-state Reactive Systems
  • 批准号:
    0220134
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $29.77万
  • 财政年份:
    2002
  • 负责人:
    Zohar Manna
  • 依托单位:
海外基金