2493 search results - page 224 / 499 » Tool Support for Design by Contract |
166
click to vote
ICWE
2005
Springer
16 years 3 days ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
165
click to vote
GW
1999
Springer
15 years 11 months ago
1999
Springer
Our engagement with consumer products diminishes gradually over the last decades, which causes considerable usability problems. To dissolve these problems, the designer's emph...
178
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...
199
click to vote
PETRA
2009
ACM
16 years 1 months ago
2009
ACM
The Ambient Kitchen is a high fidelity prototype for exploring the design of pervasive computing algorithms and applications for everyday environments. The environment integrates ...
215
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Recently, the Internet revolutionized many activities from entertainment to marketing and business. Two key underlying Internet technologies, efficient data delivery and hypertext...