2493 search results - page 356 / 499 » Tool Support for Design by Contract |
107
click to vote
WALTD
2008
14 years 11 months ago
2008
The use of technology is growing in every field of education, and not only in the education of disabled students but also as a learning resource for everybody. The teachers are mo...
DGO
2004
14 years 11 months ago
2004
The NSF-fundedi research described in this paper focuses on the development of automated software tools for improving Web accessibility for older adults. The Web offers great prom...
DAGSTUHL
2006
14 years 11 months ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
EHCI
2004
14 years 11 months ago
2004
New display technologies will enable designers to use every surface as a support for interaction with information technology. In this article, we describe techniques and tools for ...
EHCI
2001
14 years 11 months ago
2001
Abstract. The increasing proliferation of computational devices has introduced the need for applications to run on multiple platforms in different physical environments. Providing ...