ICSE
2007
IEEE-ACM
13 years 10 months ago
2007
IEEE-ACM
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...
ICSE
2007
IEEE-ACM
13 years 10 months ago
2007
IEEE-ACM
ICSE
2007
IEEE-ACM
13 years 10 months ago
2007
IEEE-ACM
ICSE
2007
IEEE-ACM
13 years 10 months ago
2007
IEEE-ACM
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...
ICSE
2007
IEEE-ACM
13 years 10 months ago
2007
IEEE-ACM
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...
ICSE
2007
IEEE-ACM
13 years 10 months ago
2007
IEEE-ACM
ICSE
2007
IEEE-ACM
13 years 10 months ago
2007
IEEE-ACM
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 ...
ICSE
2007
IEEE-ACM
13 years 10 months ago
2007
IEEE-ACM
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...
ICSE
2007
IEEE-ACM
13 years 10 months ago
2007
IEEE-ACM
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 ...
ICSE
2007
IEEE-ACM
13 years 10 months ago
2007
IEEE-ACM