The CUE Initiative on The Scientific Foundation of Software Engineering

Edmund Clarke Carnegie-Mellon Uwe认为，既有必要也有机会将软件开发实践中的重要问题与有望解决方案的理论进步结合在一起。在与美国国家科学基金会、中国国家科学基金会和欧盟委员会IST计划磋商后，我们建议成立一个国际工作组，以确定这些问题和相关的理论进展，并将适当的从业者和科学家聚集在一系列研讨会上。研讨会的结果可能是认识到理论基础上的差距；填补这一差距将成为研究议程上的一个项目。另一种不同的结果可能是认识到，可应用的理论是可用的，但需要打包用于实际用途。例如，这一理论可用作可应用于正常设计的系统方法的基础；这项工作将成为发展议程而不是研究议程的一个项目。

ABSTRACT0327252Edmund ClarkeCarnegie-Mellon UWe believe that there is both a need and an opportunity to bring together important problems in softwaredevelopment praxis with the theoretical advances that promise solutions. After consultation with the US National Science Foundation, the Chinese National Science Foundation, and the European Commission IST program, we propose to form an International Working Group in order identify such problems and related theoretical advances, and bring together the appropriate practitioners and scientists in a series of workshops. The outcome of a workshop may be the recognition of a gap in the theoretical foundations; filling that gap would then become an item in the research agenda. A different outcome may be the recognition that applicable theory is available but needs to be packaged for practical use. For example, the theory may be used as the foundation of a systematic method that can be applied in normal design; this work would become an item of an agenda for development rather than for research.