A Study of the Specification of Large Programs

大型程序规范研究

• 批准号: 8519254
• 负责人: Jeannette Wing
• 金额: $ 3.1万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1985
• 资助国家: 美国
• 起止时间: 1985-09-15 至 1987-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8519254&HistoricalAwards=false
• 关键词: Study; Specification; Large; Programs

The objectives of this project are: to define a model of a specification of large programs, and to design a language useful for writing specifications of large programs. Toward the long-term goal of putting formal specifications to productive use, the ability to specify large programs is needed, not just small ones. It is intended to study behavioral properties of large programs, and how to specify these properties; relationships among program module specifications that constitute specifications of large programs; and language constructs that facilitate putting together specifications. It is planned to use formal mathematics to define the model and language. The research will simultaneously be guided by more practical objectives: to develop a specification approach, and to demonstrate the utility of the work by applying it to realistic examples.

该项目的目标是：定义大型程序规范的模型，并设计一种用于编写大型程序规范的语言。 为了实现将形式规格付诸实践的长期目标，需要指定大型程序的能力，而不仅仅是小计划。 它旨在研究大型程序的行为特性，以及如何指定这些属性；构成大型计划规范的计划模块规格之间的关系；以及有助于汇总规格的语言构造。 计划使用正式数学来定义模型和语言。 这项研究将同时以更实际的目标为指导：开发一种规范方法，并通过将其应用于现实的例子来证明工作的实用性。