1

Barbara Liskov has done research in the area of modularity: A program is a collection of modules Each module has an interface, described by a specification A module’s implementation is correct if it meets the specification A using module depends only on the specification Modules provide the advantage of: Local reasoning Modifiability Independent ...


Only top voted, non community-wiki answers of a minimum length are eligible