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.
MANNA0437281这一年奖支持美国15名研究人员的参与,其中包括两个博士后研究员参加美国 - 欧洲合作研讨会,“软件工程工具:兼容性和集成”。 该研讨会由斯坦福大学的Zohar Manna,瑞士Lausanne的Ecole Polytechinque Federale的Thomas Henzinger和奥地利维也纳技术大学的Hermann Kopetz组织。缺乏工具集成已被认为是复杂计算机系统构建的主要障碍,尤其是在嵌入式系统的开发中。 工具可操作性是提高软件生产率和可靠性的重要先决条件。 研讨会将解决这些问题。 该研讨会将汇集美国和欧洲科学家,这些科学家在看到软件开发研究中具有共同兴趣,这是下一代软件密集型系统实践进步的催化剂。 预计将产生推进该领域的新合作。 为了促进此目的,研讨会将包括中国,美国和欧洲倡议(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其他文献
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
相似国自然基金
欧洲和中国气候中和及可持续城市的都市交通综合系统和分析
- 批准号:72361137007
- 批准年份:2023
- 资助金额:200 万元
- 项目类别:国际(地区)合作与交流项目
转座元件TE5a调控Myo5a基因的表达并改变欧洲猪繁殖能力的机制
- 批准号:32302699
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
褪黑激素-IGF-I通路在光谱影响欧洲舌齿鲈肌肉生长中的作用
- 批准号:32202961
- 批准年份:2022
- 资助金额:30.00 万元
- 项目类别:青年科学基金项目
全基因组分析推断亚洲和欧洲起源的代表性家猪和野猪的进化事件及搜索其共有的基因组成分
- 批准号:32261133531
- 批准年份:2022
- 资助金额:105.00 万元
- 项目类别:国际(地区)合作与交流项目
迁地保育马麝和欧洲马鹿的行为健康及与适合度关系的比较研究
- 批准号:32211530443
- 批准年份:2022
- 资助金额:19.00 万元
- 项目类别:国际(地区)合作与交流项目
相似海外基金
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
US-Eastern Europe Cooperative Research on Plant Ecology and Water Resource Management (Poland and Czechoslovakia)
美国-东欧植物生态学和水资源管理合作研究(波兰和捷克斯洛伐克)
- 批准号:
9116439 - 财政年份:1992
- 资助金额:
-- - 项目类别:
Standard Grant
US-Western Europe Cooperative Science: Nutrition and the Industrialization Process
美国-西欧合作科学:营养与工业化进程
- 批准号:
8618382 - 财政年份:1987
- 资助金额:
-- - 项目类别:
Standard Grant
US-United Kingdom Cooperative Science: Late Cretaceous Vertebrates of Eastern Europe
美英合作科学:东欧晚白垩世脊椎动物
- 批准号:
8619987 - 财政年份:1987
- 资助金额:
-- - 项目类别:
Standard Grant