129
click to vote
IWSM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...
129
Voted
ICSE
2007
IEEE-ACM
15 years 8 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...
103
Voted
ICSE
2007
IEEE-ACM
15 years 8 months ago
2007
IEEE-ACM
120
Voted
ICSE
2007
IEEE-ACM
15 years 8 months ago
2007
IEEE-ACM
122
Voted
ICSE
2007
IEEE-ACM
15 years 8 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...
137
Voted
ICSE
2007
IEEE-ACM
15 years 8 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...
129
Voted
ICSE
2007
IEEE-ACM
15 years 8 months ago
2007
IEEE-ACM
135
Voted
ICSE
2007
IEEE-ACM
15 years 8 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 ...
135
Voted
ICSE
2007
IEEE-ACM
15 years 8 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...
170
Voted
ICSE
2007
IEEE-ACM
15 years 8 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 ...