2249 search results - page 213 / 450 » ILP-based engineering change |
144
click to vote
ESEC
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
133
click to vote
UIST
1995
ACM
15 years 8 months ago
1995
ACM
Morphic is a user interface construction environment that strives to embody directness and liveness. Directness means a user interface designer can initiate the process of examini...
150
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
—Many efficient random testing algorithms for object-oriented software have been proposed due to their simplicity and reasonable code coverage; however, even the stateof-the-art...
120
click to vote
AVI
2008
15 years 6 months ago
2008
Designers still often create a specific user interface for every target platform they wish to support, which is timeconsuming and error-prone. The need for a multi-platform user i...
137
click to vote
ASWEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Refactoring is a set of operations to improve maintainability or understandability or other attributes of a software system without changing the external behavior of it, and it is...