15155 search results - page 2436 / 3031 » System Software |
204
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
194
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
177
click to vote
SIGSOFT
2006
ACM
16 years 8 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
207
click to vote
SIGSOFT
2002
ACM
16 years 8 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
207
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a platform in which interaction designers can effectively and rapidly develop tangible interactive prototypes by sketching. The study aims to build a platform ...