This paper discusses an approach for top-down composition of software architectures. First, an architecture is derived that addresses functional requirements only. This architectu...
Software development in general and groupware applications in particular can greatly benefit from the reusability and interoperability aspects associated with software components....
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Abstract-- This paper deals with an architecture for knowledge representation suitable for integrated Robotics and Ambient Intelligence applications. The aim of the work is to adop...
Francesco Capezio, Fulvio Mastrogiovanni, Antonio ...
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...