SGER: Effective Theories of System Design

CCF - 0737840系统设计的有效理论Smith，道格拉斯R.Kestrel系统设计的有效理论研究所 这项研究的首要目标是为软件系统设计的机械化奠定科学基础。 这些基础导致工具，机械化的一个重要部分的工作，在开发正确和有效的软件系统，从规范的要求。 研究的重点是设计知识的获取和重用。 设计知识是一个组织的主要智力资本，以数学形式捕捉它既可以使机器应用于当前的设计项目，也可以将设计知识传达给年轻的工人。该研究旨在整合需求工程，正式规格说明，机械化的细化，并生成正确的建设系统代码。 这种方法最不发达的方面是工具支持的细化步骤，逐步增加实现细节的机械化。 精化机器必须通过系统架构、算法、数据结构、GUI等最佳实践设计知识的编纂来获得信息，具体的技术目标是通过开发抽象系统设计分类法的上游来编纂系统设计知识，概括以前对算法理论、数据结构等分类法的研究。 系统设计理论的分类法不仅可以组织大量的设计知识，而且可以通过提供对与指定设计问题相关的知识的增量访问来直接支持机械化设计。

CCF - 0737840 Effective Theories of System DesignSmith, Douglas R.Kestrel Institute Effective Theories of System Design The overarching objective of this research is to develop scientific foundations for the mechanization of software system design. These foundations lead to tools that mechanize a significant fraction of the work in developing correct and efficient software systems from specifications of their requirements. The research focuses on the capture and reuse of design knowledge. Design know-how is the prime intellectual capital of an organization, and capturing it in mathematical form enables both machine application in current design projects and communicating design knowledge to younger workers. The research seeks to integrate requirements engineering, formal specifications, mechanized refinement, and generation of correct-by-construction system code. The least developed aspect of this approach is tool support for the mechanization of refinement steps, which incrementally add implementation detail. Refinement machinery must be informed by codification of best-practice design knowledge about system architectures, algorithms, data structures, GUIs, and so on. The specific technical objective is to codify system design knowledge by developing the upper reaches of a taxonomy of abstract system designs, generalizing previous research on taxonomies of algorithm theories, data structures, and others. A taxonomy of system design theories would not only organize a large body of design knowledge, but would directly support mechanized design by providing incremental access to knowledge that is relevant to a specified design problem.