slicing and partial evaluation of corba component model designs for avionics system
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety-critical and mission-critical domains, component-based development is beginning to take hold as a mechanism for in-corporating non-functional aspects such as real-time, quality-of-service, and distribution.
slicing partial evaluation corba components designs real-time systems distributed systems embedded systems verification model-checking