2493 search results - page 336 / 499 » Tool Support for Design by Contract |
WWW
2005
ACM
15 years 3 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
NORDICHI
2004
ACM
15 years 3 months ago
2004
ACM
The primary contribution of this paper is investigating how the User Centered Design approach is integrated into the industry. Employing a structured web-survey, targeted to the u...
85
Voted
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
KBSE
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
CHI
2009
ACM
15 years 2 months ago
2009
ACM
This paper aims to contribute with an understanding of meaningful experiences of photography, to support reflection upon the design of future camera devices. We have conducted a s...