US-France Cooperative Research: Composition by Refinement

美法合作研究：细化合成

• 批准号: 0089759
• 负责人: Beverly Sanders
• 金额: $ 1.01万
• 依托单位: University of Florida
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2001
• 资助国家: 美国
• 起止时间: 2001-06-01 至 2004-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0089759&HistoricalAwards=false
• 关键词: US; France; Cooperative; Research; Composition

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.

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