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

Manna 0437281这个为期一年的奖项支持15名美国研究人员的参与，其中包括两名美国-欧洲合作研讨会的博士后研究员，“软件工程工具：兼容性和集成。“研讨会由斯坦福大学的Zohar Manna、瑞士洛桑联邦理工学院的托马斯·亨辛格和奥地利维也纳技术大学的赫尔曼·科佩茨组织。缺乏工具集成已被公认为是构建复杂计算机系统的主要障碍，特别是在嵌入式系统的开发中。 工具的可操作性是提高软件生产率和可靠性的重要前提。 研讨会将讨论这些问题。 研讨会将汇集美国和欧洲的科学家，他们有共同的兴趣，看到软件开发研究作为下一代软件密集型系统的实际进展的催化剂。 预计它将引发新的合作，推动该领域的发展。 为了推进这一目标，研讨会将包括中国，美国和欧洲倡议（CUE）工作组的会议，这是一项将理论计算机科学与软件工程实践相结合的全球倡议。

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.