ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
Software must be adapted to accommodate new features in the context of changing requirements. In this paper, we illustrate how applications with aspect weaving capabilities can be...
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
Which is the defect that causes a software failure? By comparing the program states of a failing and a passing run, we can identify the state differences that cause the failure. H...
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. Th...
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
Greedy algorithms for the construction of software interaction test suites are studied. A framework is developed to evaluate a large class of greedy methods that build suites one ...
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
Successful software engineering requires experience and acknowledgment of complexity, including that which leads designers to recognize ambiguity within the software design descri...