5668 search results - page 905 / 1134 » The case for software evolution |
151
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
138
click to vote
MKM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
172
Voted
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
137
click to vote
CHI
2004
ACM
15 years 10 months ago
2004
ACM
In many cases, practitioners and researchers of HumanComputer Interaction and Usability Engineering rely on users' subjective product quality assessments. Such an assessment ...
127
click to vote
DMSN
2004
ACM
15 years 10 months ago
2004
ACM
In this position paper, we present MEADOWS, a software framework that we are building at HKUST (The Hong Kong University of Science and Technology) for modeling, emulation, and an...