Sciweavers

483 search results - page 15 / 97
» Experimental Software Engineering: A Report on the State of ...
Sort
View
SIGSOFT
2007
ACM
14 years 9 months ago
State coverage: a structural test adequacy criterion for behavior checking
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effect...
Ken Koster, David Kao
FUNGAMES
2010
13 years 9 months ago
Emotion control system for MIDI excerpts: MOR2ART
Emotional expression when performing music (singing or playing musical instruments) requires skill, but such a skill is generally difficult to learn. Computer systems that can mak...
Noritaka Moriguchi, Emi Wada, Masanobu Miura
UIST
2004
ACM
14 years 2 months ago
"Killer App" of wearable computing: wireless force sensing body protectors for martial arts
Ubiquitous and Wearable Computing both have the goal of pushing the computer into the background, supporting all kinds of human activities. Application areas include areas such as...
Ed Huai-hsin Chi, Jin Song, Greg Corbin
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
14 years 14 days ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
ICSE
2004
IEEE-ACM
14 years 8 months ago
Supporting Reflective Practitioners
The theme and title for this panel is inspired by Donald Sch?n's writings about the reflective practitioner in which he describes professional practice as being a process of ...
David F. Redmiles, Kumiyo Nakakoji