2249 search results - page 213 / 450 » ILP-based engineering change |
177
click to vote
ESEC
1997
Springer
15 years 10 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...
170
click to vote
UIST
1995
ACM
15 years 10 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...
187
click to vote
COMPSAC
2009
IEEE
15 years 9 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...
143
click to vote
AVI
2008
15 years 8 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...
166
click to vote
ASWEC
2008
IEEE
15 years 8 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...