US-France Cooperative Research: Composition by Refinement

0089759Sanders这项为期三年的美法软件系统合作研究包括佛罗里达大学的Beverly Sanders和法国Nancy Henry Poincare大学的LORIA（信息应用实验室）的Dominique Mery。这个项目的目标是探索管理软件系统复杂性的两种已知方法之间的关系：组件的组合和细化。美国调查员带来了这个合作的专业知识，在软件系统的组成推理。这与法国研究者在电信系统中特征交互方面的经验相辅相成。该项目利用了法国在定理证明、模型检查和抽象解释系统方面的专业知识。该项目还将受益于与欧洲工业的互动，欧洲工业在利用正式方法进行系统设计方面往往领先于美国。该奖项代表了美国方面向美国国家科学基金会和法国国家科学研究中心（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.