Sciweavers

3837 search results - page 208 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
ECLIPSE
2004
ACM
15 years 9 months ago
Supporting model checking education using BOGOR/Eclipse
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...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier
AGILEDC
2009
IEEE
15 years 10 months ago
Collaborative Agile Contracts
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...
Lars Thorup, Bent Jensen
AGILEDC
2008
IEEE
15 years 10 months ago
Transitioning a Team to Agile Test Methods
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...
Susan D. Shaye
CSMR
2008
IEEE
15 years 10 months ago
Modularity-Oriented Refactoring
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...
Sergio Bryton, Fernando Brito e Abreu
EDBTW
2004
Springer
15 years 9 months ago
A Distributed Algorithm for Robust Data Sharing and Updates in P2P Database Networks
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...