[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Proposes a formal model of the ways that modules interface. Defines what it means for a module to satisfy an interface(M offers I, and M offers I using L). Assumes this forms a DAG. Shows that such systems can be composed.
Interfaces are two sided - providers and consumers of services. Both sides are designed to not perform badly if the other side performs ok. The provider is designed to guarantee that the service is provided some time after it is requested. Providing a service is a conditional progress properties.
Object-oriented programming only specifies safety (lack of bad results).
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]