13895 search results - page 2351 / 2779 » Exploring |
122
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Before performing a modification task, a developer usually has to investigate the source code of a system to understand how to carry out the task. Discovering the code relevant to...
139
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
137
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
122
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective r...
158
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...