progr. |
our goal in decomposing a program is to create modules that are themselves small programs that interact with one another in simple, well-defined ways (см. "Abstraction and Specification in Program Development" by Barbara Liskov & John Guttag 1986) |