Now showing items 1-1 of 1
Supporting behavioral contracts for COM components
Information Systems Technology and its Applications, international conference ISTA'2001
Specifying behavioral specifications for components apart from the conventional syntactic interface specifications can be very useful in component based system development. Preconditions and postconditions describe one form of behavioral aspects of components. We discuss a tool and an implementation mechanism to incorporate ...