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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
Towards Certification by Verification
-
批准号:0209237
-
项目类别:Standard Grant
-
资助金额:$9.3万
-
财政年份:2002
-
负责人:Zohar Manna
-
依托单位:
Modular Deductive-Algorithmic Verification of Hybrid Systems
-
批准号:9900984
-
项目类别:Continuing Grant
-
资助金额:$27.5万
-
财政年份:1999
-
负责人:Zohar Manna
-
依托单位:
Abstraction and Compositionality for the Verification of Infinite-State Reactive Systems
-
批准号:9804100
-
项目类别:Standard Grant
-
资助金额:$8.5万
-
财政年份:1998
-
负责人:Zohar Manna
-
依托单位:
Tools for the Modular Verification and Refinement of Reactive Systems
-
批准号:9527927
-
项目类别:Standard Grant
-
资助金额:$20.04万
-
财政年份:1996
-
负责人:Zohar Manna
-
依托单位:
The Temporal Logic of Reactive Systems
-
批准号:9223226
-
项目类别:Continuing Grant
-
资助金额:$47.5万
-
财政年份:1993
-
负责人:Zohar Manna
-
依托单位:
The Temporal Logic of Reactive Programs
-
批准号:8911512
-
项目类别:Continuing Grant
-
资助金额:$29.53万
-
财政年份:1990
-
负责人:Zohar Manna
-
依托单位:
Automatic Program Synthesis
-
批准号:8913641
-
项目类别:Continuing Grant
-
资助金额:$12.18万
-
财政年份:1990
-
负责人:Zohar Manna
-
依托单位:
Temporal Verification and Development of Reactive Programs
-
批准号:8812595
-
项目类别:Continuing Grant
-
资助金额:$12.5万
-
财政年份:1988
-
负责人:Zohar Manna
-
依托单位:
US - Japan Workshop on Logic of Programs HONOLULU, HAWAII, MAY 25-29, 1987
-
批准号:8611117
-
项目类别:Standard Grant
-
资助金额:$2.19万
-
财政年份:1987
-
负责人:Zohar Manna
-
依托单位:
Automatic Program Synthesis
-
批准号:8611272
-
项目类别:Continuing Grant
-
资助金额:$36.68万
-
财政年份:1986
-
负责人:Zohar Manna
-
依托单位:
Temporal Verification and Synthesis of Concurrent Programs (Computer Research)
-
批准号:8413230
-
项目类别:Continuing Grant
-
资助金额:$20.8万
-
财政年份:1985
-
负责人:Zohar Manna
-
依托单位:
Interactive Program Synthesis (Computer Research)
-
批准号:8214523
-
项目类别:Continuing Grant
-
资助金额:$25.43万
-
财政年份:1983
-
负责人:Zohar Manna
-
依托单位:
Temporal Verification and Synthesis of Concurrent Programs (Computer Research)
-
批准号:8111586
-
项目类别:Continuing Grant
-
资助金额:$15.42万
-
财政年份:1981
-
负责人:Zohar Manna
-
依托单位:
The Modal Logic of Programs
-
批准号:8006930
-
项目类别:Standard Grant
-
资助金额:$1.72万
-
财政年份:1980
-
负责人:Zohar Manna
-
依托单位:
A Deductive Approach to Program Synthesis
-
批准号:7909495
-
项目类别:Continuing Grant
-
资助金额:$19.65万
-
财政年份:1980
-
负责人:Zohar Manna
-
依托单位:
海外基金