US-France Cooperative Research: Composition by Refinement

0089759桑德斯这个为期三年的美国-法国软件系统合作研究涉及佛罗里达大学的Beverly Sanders和法国南希亨利庞加莱大学LORIA（信息应用实验室）的Dominique Mery。 这个项目的目标是探索两种已知的方法来管理软件系统的复杂性之间的关系：组件的组合和细化。 美国调查员带来了这种合作的软件系统的组成推理的专业知识。 法国调查员在电信系统功能交互方面的经验对此作了补充。 该项目利用了法国在定理证明器、模型检查器和抽象解释系统方面的专门知识。 该项目还将受益于与欧洲工业界的互动，欧洲工业界在利用正式方法进行系统设计方面往往领先于美国。该奖项代表了美国方面向NSF和法国国家科学研究中心（CNRS）提出的联合建议。 NSF将支付美国研究者的差旅费和生活费。 CNRS将支持法国研究人员访问美国。该合作将推进对基于组件的软件系统开发的基本理解，并可能导致对管理复杂和巨大软件系统的改进和组合方法的新理解。

0089759SandersThis three-year award for U.S.-France cooperative research in software systems involves Beverly Sanders of the University of Florida and Dominique Mery of LORIA (Information Applications Laboratory), Universite Henry Poincare, Nancy, France. The goal of this project is to explore the relationship between two known approaches to managing the complexity of software systems: composition and refinement of components. The US investigator brings to this collaboration expertise in compositional reasoning of software systems. This is complemented by the French investigator's experience with feature interactions in telecommunication systems. The project takes advantage of French expertise in theorem provers, model checkers and systems for abstract interpretation. The project will also benefit from interaction with European industry which tends to be ahead of the US in utilization of formal approaches to system design. This award represents the US side of a joint proposal to the NSF and the French National Center for Scientific Research (CNRS). NSF will cover travel funds and living expenses for the US investigator. The CNRS will support the visits of French researchers to the United States. The collaboration will advance fundamental understanding of component based development of software systems and may lead to new understanding about the refinement and composition approach to managing complex and huge software systems.