16725 search results - page 3160 / 3345 » Engineering Software Correctness |
93
Voted
HICSS
1998
IEEE
15 years 8 months ago
1998
IEEE
Fagan inspections are a structured review of development documents that consists of individual preparation, a meeting and rework by the author of the document. Industrial experien...
113
Voted
COBUILD
1998
Springer
15 years 8 months ago
1998
Springer
This paper introduces the concept of Adaptive Rooms, which are virtual environments able to dynamically adapt to users' needs, including `physical' and cognitive workflow...
134
Voted
COBUILD
1998
Springer
1998
Springer
Roomware for Cooperative Buildings: Integrated Design of Architectural Spaces and Information Spaces
15 years 8 months ago
In this paper, we introduce the concepts of "cooperative buildings" and "roomware" and place them in the context of the integrated design of real, physical, res...
122
Voted
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
154
Voted
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...