重新使用和互联软件组件

本文讨论了一些与创建、记录和维护大型软件系统的环境相关的问题、概念和方法。目标是通过尽可能大程度上重用以前的代码和编程经验，使编程变得显著更容易、更可靠和更具成本效益。此处提供的建议包括：系统（但有限）地使用语义，通过明确地将理论（提供语义，形式或非形式）附加到具有视图的软件组件（描述组件接口上语义正确的互联）；使用通用实体，以最大化重用性；区分水平和垂直组合；使用一种库互联语言，即LIL，从现有实体组装大型程序；支持在文档和验证中不同程度的形式化；以及通过动画抽象数据类型和模块接口来促进程序理解。由于ADA具有一些便利的特性，因此使用其作为示例，但这些提案也适用于其他语言。