Information-Flow Interfaces

Cited by: 0|Bibtex|Views5|Links

Abstract:

Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are constraints that the designer of a component puts on the environments in which the component can be used safely, and guarantees, which are promises that the design...More

Code:

Data:

Your rating :
0

 

Tags
Comments