5228 search results - page 175 / 1046 » Case Studies for Software Engineers |
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
—In this paper, we describe a practical realization of an Internet-of-Things (IoT) architecture at the University of Padova, Italy. Our network spans the floors of different bui...
IWPSE
2003
IEEE
14 years 2 months ago
2003
IEEE
The evolution of product family typically oscillates between growing and consolidating phases. The migration path starts from a copy/paste approach that offers the fastest time-to...
JSS
2008
13 years 9 months ago
2008
The high cost of software maintenance could be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have constructed a so...
IWPSE
2003
IEEE
14 years 2 months ago
2003
IEEE
Current refactoring tools only provide support for performing selected refactorings. We show how tool support can be provided for the preparatory phases of refactoring as well, by...
APSEC
2005
IEEE
14 years 3 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...