There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
This paper presents a process for the development of a Model-Driven Architecture (MDA) tool for the construction of service-oriented component-based applications. The process is u...
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
Louise A. Dennis, Graham Collins, Michael Norrish,...
We have developed an automatic DTB production platform [3], which is capable of flexibly generating different user interfaces for talking books. DTBs are built from digital copies ...
A common and difficult maintenance activity is the integration of existing software components or tools into a consistent and interoperable whole. One area in which this has prove...