2493 search results - page 209 / 499 » Tool Support for Design by Contract |
164
click to vote
IV
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an ongoing project with the goal of designing and implementing a method to evaluate visualizations based on the tasks supported. The method evaluates time to ...
160
click to vote
HT
2003
ACM
15 years 11 months ago
2003
ACM
This paper argues that the existence of a developer support framework is a critical issue to the usage of Open Hypermedia Systems (OHSs). For this reason, the OHS Community would ...
204
click to vote
EICS
2010
ACM
15 years 8 months ago
2010
ACM
In this paper we present a method and the associated tool support able to exploit the content of Web service annotations in model-based user interface design and development. We a...
165
click to vote
ICSE
1998
IEEE-ACM
15 years 10 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...
179
click to vote
ASPLOS
1987
ACM
15 years 10 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...