Sciweavers

ICSE
2007
IEEE-ACM
14 years 6 months ago
The Future of Software Performance Engineering
Performance is a pervasive quality of software systems; everything affects it, from the software itself to all underlying layers, such as operating system, middleware, hardware, c...
C. Murray Woodside, Greg Franks, Dorina C. Petriu
ICSE
2007
IEEE-ACM
14 years 6 months ago
New Frontiers of Reverse Engineering
Gerardo Canfora, Massimiliano Di Penta
ICSE
2007
IEEE-ACM
14 years 6 months ago
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...
Cesare Bartolini, Antonia Bertolino, Eda Marchetti...
ICSE
2007
IEEE-ACM
14 years 6 months ago
Design, Implementation and Deployment of State Machines Using a Generative Approach
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
Graham N. C. Kirby, Alan Dearle, Stuart J. Norcros...
ICSE
2007
IEEE-ACM
14 years 6 months ago
Assessing Changeability by Investigating the Propagation of Change Types
We propose an approach to build a changeability assessment model for source code entities. Based on this model, we will assess the changeability of evolving software systems. The ...
Beat Fluri
ICSE
2007
IEEE-ACM
14 years 6 months ago
Adaptive Probabilistic Model for Ranking Code-Based Static Analysis Alerts
Software engineers tend to repeat mistakes when developing software. Automated static analysis tools can detect some of these mistakes early in the software process. However, thes...
Sarah Smith Heckman
ICSE
2007
IEEE-ACM
14 years 6 months ago
ACL2s: "The ACL2 Sedan"
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
Peter C. Dillinger, Panagiotis Manolios, Daron Vro...
ICSE
2007
IEEE-ACM
14 years 6 months ago
SHIWS: A Self-Healing Integrator for Web Services
Giovanni Denaro, Mauro Pezzè, Davide Tosi