16725 search results - page 682 / 3345 » Engineering Software Correctness |
222
click to vote
ICSM
1997
IEEE
15 years 11 months ago
1997
IEEE
Function Point Analysis (FPA) is a well-known method to measure the functionality of a system, from the user’s point of view. Both Albrecht’s original model and a local varian...
196
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
172
click to vote
WCRE
1997
IEEE
15 years 11 months ago
1997
IEEE
There are many commercial tools that address various aspects of the Year 2000 problem. None of these tools, however, addresses the closely-related leap-year problem. In this paper...
177
Voted
UIST
1997
ACM
15 years 11 months ago
1997
ACM
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring th...
178
Voted
AADEBUG
1997
Springer
15 years 11 months ago
1997
Springer
Previously the debugging of optimised code has not been possible without recompiling the executable code and preventing the use of code optimisation techniques. Although current r...