Automating the Specification Process

这个项目关注的是规范过程的形式化和自动化。它提出了一个规范设计模型，a)是进化的，b)基于分析人员和客户的协作解决问题，c)代表冲突的目标，d)是基于知识的。工作分为两个方面：1)问题获取和规范构建的过程模型的定义，以及2)这种模型背后知识的形式和内容的特征。长期目标是接近一个有能力的、有经验的软件分析师在与客户交互以构建软件规范时所看到的专业知识类型。该项目继续进行a)专家、人类和软件分析师的实验研究，b)从这些研究中衍生出的规范批评系统的构建，并在以下领域提出新的工作：c)规范构建中的冲突和妥协，d)扩展传统自顶向下细化的设计模型。

This project concerns itself with a means of both formalizing and automating the specification process. It proposes a model of specification design that a) is evolutionary, b) is based on collaborative problem solving by both analyst and client c) represents conflicting goals, and d) is knowledge-based. Efforts are divided along two broad fronts: 1) the definition of a process model of problem-acquisition and specification-construction, and 2) a characterization of the form and content of the knowledge underlying such a model. The long range goal is to approximate the type of expertise seen in a competent, experienced, software analyst as he or she interacts with a client to construct a software specification. The project continues a) the experimental study of expert, human, software analysts and b) the construction of a system for specification critiquing derived from such studies, and proposes new work in the areas of c) conflict and compromise in specification construction, and d) models of design that extend that of traditional top-down refinement.