2514 search results - page 341 / 503 » The use of industrial-strength formal methods |
184
click to vote
WETICE
2000
IEEE
15 years 10 months ago
2000
IEEE
A better understanding of how groupware systems have been evaluated in the past can help to frame the discussion of what methods and techniques should be considered for future eva...
148
click to vote
APLAS
2000
ACM
15 years 10 months ago
2000
ACM
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...
167
click to vote
HICSS
1998
IEEE
15 years 10 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
153
click to vote
WCRE
1998
IEEE
15 years 10 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
144
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...