基思·威廉姆森;迈克尔·希利;理查德·巴克 通过范畴理论进行软件合成的工业应用——使用specware进行案例研究。 （英语） Zbl 0963.68559号 自动化软件工程8，第1期，7-30（2001）。 总结：在过去两年中，我们已经证明了在指定、合成和维护工业实力软件系统时应用分类理论方法的可行性。为此，我们一直在使用第一种工具，Kestrel的Specware（^{\text{TM}}）软件开发系统。在本文中，我们描述了我们的经验，并从工业角度阐述了需要什么才能使这项技术对工业有更广泛的吸引力。我们的总体印象是，该技术确实适用于工业强度应用，但它需要额外的工作才能使其更加实用。我们认为，这项工作标志着在使用严格的数学方法进行工业级软件开发和维护方面的一个转折点。有趣的是，当该技术应用于输出为飞机部件设计的软件系统时，捕获的设计原理不仅是软件工程设计原理，但也要从其他工程学科（例如，机械、材料、制造、电气、人为因素等）设计基本原理。这表明该技术为通用系统工程提供了一种方法，使人们能够广泛地构建和重用工程知识。 引用于1文件 MSC公司： 68单位99 计算方法和应用 68问题65 抽象数据类型；代数规范 关键词：范畴理论;软件综合;特殊器皿;系统工程 软件：Specware（特殊软件） PDF格式BibTeX公司 XML格式 全文： 内政部