Sciweavers

3399 search results - page 187 / 680
» Requirements Development in Scenario-Based Design
Sort
View
ASSETS
2008
ACM
15 years 8 months ago
Software and technologies designed for people with autism: what do users want?
Software developers, designers and researchers have been looking to technology for solutions to help and educate people with autism for over two decades. There are many examples o...
Cynthia Putnam, Lorna Chong
VSTTE
2005
Springer
15 years 12 months ago
Verifying Design with Proof Scores
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogat...
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 10 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
BMCBI
2005
107views more  BMCBI 2005»
15 years 6 months ago
ProbeMaker: an extensible framework for design of sets of oligonucleotide probes
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...
Johan Stenberg, Mats Nilsson, Ulf Landegren
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...