9626 search results - page 1390 / 1926 » Invariant Based Programming |
166
Voted
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents a strategy for structural testing of objectoriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting...
193
click to vote
SIGOPSE
2000
ACM
15 years 11 months ago
2000
ACM
The role of small devices in the emerging all-connected computer infrastructure is growing. So are the requirements that the application execution environments face. Portability, ...
159
Voted
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
In order to keep on the leading edge of technology and to take advantage of new administrative features, we at University of Wyoming decided to upgrade our Windows NT 4.0 lab syst...
167
click to vote
VRML
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we discuss the benefits of extending VRML by constraints and present a new way based on prototypes and scripting to implement this extension. Our approach is easy-t...
200
Voted
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...