US-Europe Cooperative Workshop: Compatability and Integration of Software Engineering Tools
美欧合作研讨会:软件工程工具的兼容性与集成
基本信息
- 批准号:0437281
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:美国
- 项目类别: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.
Manna 0437281这个为期一年的奖项支持15名美国研究人员的参与,其中包括两名美国-欧洲合作研讨会的博士后研究员,“软件工程工具:兼容性和集成。“研讨会由斯坦福大学的Zohar Manna、瑞士洛桑联邦理工学院的托马斯·亨辛格和奥地利维也纳技术大学的赫尔曼·科佩茨组织。缺乏工具集成已被公认为是构建复杂计算机系统的主要障碍,特别是在嵌入式系统的开发中。 工具的可操作性是提高软件生产率和可靠性的重要前提。 研讨会将讨论这些问题。 研讨会将汇集美国和欧洲的科学家,他们有共同的兴趣,看到软件开发研究作为下一代软件密集型系统的实际进展的催化剂。 预计它将引发新的合作,推动该领域的发展。 为了推进这一目标,研讨会将包括中国,美国和欧洲倡议(CUE)工作组的会议,这是一项将理论计算机科学与软件工程实践相结合的全球倡议。
项目成果
期刊论文数量(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 }}
Zohar Manna其他文献
Problematic features of programming languages: a situational-calculus approach
- DOI:
10.1007/bf00264494 - 发表时间:
1981-12-01 - 期刊:
- 影响因子:0.500
- 作者:
Zohar Manna;Richard Waldinger - 通讯作者:
Richard Waldinger
How to clear a block: A theory of plans
- DOI:
10.1007/bf00247434 - 发表时间:
1987-12-01 - 期刊:
- 影响因子:0.800
- 作者:
Zohar Manna;Richard Waldinger - 通讯作者:
Richard Waldinger
Zohar Manna的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Zohar Manna', 18)}}的其他基金
CSR---EHS: A Modern Verifying Compiler
CSR---EHS:现代验证编译器
- 批准号:
0615449 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Continuing Grant
EHS: Constraint-based Static Analysis of Embedded and Hybrid Systems
EHS:嵌入式和混合系统基于约束的静态分析
- 批准号:
0411363 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Continuing Grant
ITR: Synthesis and Control of Infinite-state Reactive Systems
ITR:无限状态反应系统的合成与控制
- 批准号:
0220134 - 财政年份:2002
- 资助金额:
-- - 项目类别:
Continuing Grant
Modular Deductive-Algorithmic Verification of Hybrid Systems
混合系统的模块化演绎算法验证
- 批准号:
9900984 - 财政年份:1999
- 资助金额:
-- - 项目类别:
Continuing Grant
Abstraction and Compositionality for the Verification of Infinite-State Reactive Systems
无限状态反应系统验证的抽象性和组合性
- 批准号:
9804100 - 财政年份:1998
- 资助金额:
-- - 项目类别:
Standard Grant
Tools for the Modular Verification and Refinement of Reactive Systems
用于反应式系统的模块化验证和细化的工具
- 批准号:
9527927 - 财政年份:1996
- 资助金额:
-- - 项目类别:
Standard Grant
相似海外基金
US-Europe Cooperative Program on Smart Sensor Technologies and Informatics for Civil Structures
美欧土木结构智能传感器技术和信息学合作项目
- 批准号:
0509514 - 财政年份:2005
- 资助金额:
-- - 项目类别:
Standard Grant
Workshop on Cooperative US-Europe Research in Sensors and Smart Structures Technology
美欧传感器和智能结构技术合作研究研讨会
- 批准号:
0203143 - 财政年份:2002
- 资助金额:
-- - 项目类别:
Standard Grant
U.S.-Europe Cooperative Research: Distance-Learning Research Activities in Process Control
美欧合作研究:过程控制中的远程学习研究活动
- 批准号:
9802694 - 财政年份:1998
- 资助金额:
-- - 项目类别:
Standard Grant
U.S.-Western Europe Cooperative Research on Joining of Silicon Nitride
美国-西欧氮化硅连接合作研究
- 批准号:
9414107 - 财政年份:1995
- 资助金额:
-- - 项目类别:
Standard Grant
NATO EAST EUROPE: Cooperative Training of Bulgarian Plant Germplasm Specialists with U.S. Plant Germplasm Scientists
北约东欧:保加利亚植物种质专家与美国植物种质科学家的合作培训
- 批准号:
9450218 - 财政年份:1994
- 资助金额:
-- - 项目类别:
Standard Grant
U.S.-Western Europe Cooperative Program: Cognitive Aspects of Human-Computer Interaction for Geographic Information Systems
美国-西欧合作项目:地理信息系统人机交互的认知方面
- 批准号:
9408160 - 财政年份:1994
- 资助金额:
-- - 项目类别:
Standard Grant
U.S.-Western Europe Regional Cooperative Research on Muoniumin Semiconductors
美国-西欧缪尼半导体区域合作研究
- 批准号:
9214741 - 财政年份:1993
- 资助金额:
-- - 项目类别:
Standard Grant
U.S.-Western Europe Cooperative Research in Spectral Theory (Applied Mathematics)
美国-西欧光谱理论合作研究(应用数学)
- 批准号:
9114401 - 财政年份:1992
- 资助金额:
-- - 项目类别:
Standard Grant
US-Eastern Europe Cooperative Research on Plant Ecology and Water Resource Management (Poland and Czechoslovakia)
美国-东欧植物生态学和水资源管理合作研究(波兰和捷克斯洛伐克)
- 批准号:
9116439 - 财政年份:1992
- 资助金额:
-- - 项目类别:
Standard Grant
U.S.-Western Europe Cooperative Research on the Communication Network of Territorial Songbirds
美国-西欧地区鸣禽通信网络合作研究
- 批准号:
9123819 - 财政年份:1992
- 资助金额:
-- - 项目类别:
Standard Grant