Treffer: Toward Mega programming.

Megaprogramming is a technology for programming with large modules called megamodules that capture the functionality of services provided by large organizations like banks, airline reservation systems, and city transportation systems. Megamodules are internally homogeneous, independently maintained software systems managed by a community with its own terminology, goals, knowledge, and programming traditions. Each megamodule describes its externally accessible data structures and operations and has an internally consistent behavior. Megamodules realize greater abstraction power than traditional modules by stronger encapsulation mechanisms, they can encapsulate not only procedures and data, but also types, concurrency, knowledge, and ontology. Programming within a megamodule can be handled by traditional technology, while computations spanning several megamodules are specified by megaprograms in a megaprogramming language. Megaprograms provide the "glue" for megamodule composition and typically involve communication over networks.