Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
Alessandro Bozzon, Marco Brambilla, Federico Miche...
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
In a mature fortune 500 manufacturing company, such as 3M Company, many processes and procedures for developing products have been put in place over the years. Many of these tools...
Richard Moore, Kelly Reff, James Graham, Brian Hac...
The design of a an agent system for robotics is a problem that involves aspects coming from many different disciplines (robotics, artificial intelligence, computer vision, softwa...
Massimo Cossentino, Luca Sabatucci, Antonio Chella