编程方法论的研究促进了现代软件系统设计和结构原理和方法的发展。这项研究工作的核心是抽象和模块化的概念。这些想法是相关的:设计是发明和识别抽象的过程,抽象的实现成为组成程序的模块。本次报告将讨论我们目前对抽象和模块化的理解,以及促成现状的过往研究。
[编程方法论, 软件系统, 模块化]
Barbara Liskov