Abstract: Two of today's most used buzz-words in the context of software development are the terms Componentware and Distributed Object-System. The combination of both ideas i...
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...