SGER: Effective Theories of System Design

CCF-0737840系统设计的有效理论史密斯，道格拉斯·R·凯斯特尔研究所系统设计的有效理论这项研究的总体目标是为软件系统设计的机械化发展科学基础。这些基础导致了工具的出现，这些工具使根据需求规范开发正确和高效的软件系统的工作的很大一部分工作自动化。研究的重点是设计知识的获取和重用。设计诀窍是一个组织的主要智力资本，用数学形式捕捉它既可以使机器在当前的设计项目中得到应用，也可以将设计知识传达给年轻的员工。这项研究寻求集成需求工程、形式规范、机械化精化和生成按构造更正的系统代码。这种方法最不发达的方面是对细化步骤机械化的工具支持，这会逐渐增加实现细节。精化机器必须通过对有关系统架构、算法、数据结构、图形用户界面等的最佳实践设计知识进行编码来获得信息。具体的技术目标是通过开发抽象系统设计的分类法的上游，概括算法理论、数据结构和其他分类法的先前研究，来对系统设计知识进行编码。系统设计理论的分类不仅将组织大量的设计知识，而且将通过提供对与特定设计问题相关的知识的增量访问来直接支持机械化设计。

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.