Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
Tools for generating test queries for databases do not explicitly take into account the actual data in the database. As a consequence, such tools cannot guarantee suitable coverag...
Aspects are behaviours that are tangled and scattered across a system. In requirements documentation, aspects manifest themselves as descriptions of behaviours that are intertwine...
The European project COMSON (Coupled Multiscale Simulation and Optimization in Nanoelectronics) is a Marie Curie RTN project that involves five partners from academia and three fr...
Giuseppe Ali, Eleonora Bilotta, Lorella Gabriele, ...
With the wide diffusion of digital image acquisition devices,
the cost of managing hundreds of digital images is quickly increasing.
Currently, the main way to search digital ima...