Sciweavers

2493 search results - page 224 / 499
» Tool Support for Design by Contract
Sort
View
ICWE
2005
Springer
16 years 3 days ago
Modelling the Behaviour of Web Applications with ArgoUWE
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...
Alexander Knapp, Nora Koch, Gefei Zhang
GW
1999
Springer
138views Biometrics» more  GW 1999»
15 years 11 months ago
The Expressive Power of Gestures: Capturing Scent in a Spatial Shape
Our engagement with consumer products diminishes gradually over the last decades, which causes considerable usability problems. To dissolve these problems, the designer's emph...
Caroline Hummels, Kees Overbeeke
GI
2004
Springer
15 years 12 months ago
Towards a Framework and a Design Methodology for Autonomic Integrated Systems
: 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...
Andreas Herkersdorf, Wolfgang Rosenstiel
PETRA
2009
ACM
16 years 1 months ago
Ambient kitchen: designing situated services using a high fidelity prototyping environment
The Ambient Kitchen is a high fidelity prototype for exploring the design of pervasive computing algorithms and applications for everyday environments. The environment integrates ...
Patrick Olivier, Guangyou Xu, Andrew Monk, Jesse H...
DAC
2001
ACM
16 years 7 months ago
Hypermedia-Aided Design
Recently, the Internet revolutionized many activities from entertainment to marketing and business. Two key underlying Internet technologies, efficient data delivery and hypertext...
Darko Kirovski, Milenko Drinic, Miodrag Potkonjak