Found 1 document(s)
Page 1 of 1
-
The use of contracts in component-based development is a well-established approach. However there exists a wide range of views as to the nature of the contracts that are necessary to support safety-critical systems devel...