9110 search results - page 446 / 1822 » Formally-Based Design Evaluation |
196
click to vote
ACMDIS
2004
ACM
16 years 7 days ago
2004
ACM
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...
206
Voted
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
Computer manufacturers spend a huge amount of time, resources, and money in designing new systems and newer configurations, and their ability to reduce costs, charge competitive p...
206
click to vote
CODES
2006
IEEE
16 years 26 days ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
183
click to vote
UIST
2006
ACM
16 years 22 days ago
2006
ACM
Prototyping is the pivotal activity that structures innovation, collaboration, and creativity in design. Prototypes embody design hypotheses and enable designers to test them. Fra...
164
Voted
DESRIST
2009
Springer
15 years 11 months ago
2009
Springer
The paper elaborates on the theoretical foundation of Information System understood as a field of design science. Revisiting Hevner’s et al. seminal paper [44], we elaborate on ...