The contract-based paradigm, founded on the use of contracts as formal requirements, allows distributed designers to develop different aspects and components of the overall system in a concurrent but controlled way. In this paper we describe an extension of contract-based design that aims at bridgin...
No comments yet
Be the first to share your thoughts!