This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
We report on our experiences from two commercial projects conducted under a new form of contract that supports agile development and encourages efficient collaboration between cus...
This experience report describes the challenges and initial steps taken to move a large development team from traditional waterfall test phases to agile test methods. In late 2007...
Refactoring, in spite of widely acknowledged as one of the best practices of object-oriented design and programming, still lacks quantitative grounds and efficient tools for tasks...
In this paper we thoroughly analyze a distributed procedure for the problem of local database update in a network of database peers, useful for data exchange scenarios. The algorit...
Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenk...