We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...
Abstract. Todays information systems are built using various component models such as Enterprise Java Beans, JavaBeans, Microsoft COM+, and CORBA distributed objects. In this paper...
The idea of component based software systems has a long tradition in the field of software engineering. Component markets have been an integral part of this idea. However, such ma...
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...