5433 search results - page 285 / 1087 » Tool Support for Traceability-Adaptation |
153
click to vote
AAAI
1997
15 years 8 months ago
1997
Our goal is to build knowledge acquisition tools that support users in modifying knowledge-based systems. These modi cations may require several individual changes to various comp...
262
click to vote
BALT
2010
15 years 1 months ago
2010
For the purposes of tool development, computer languages are usually described using context-free grammars with annotations such as semantic actions or pretty-printing instructions...
164
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
We introduce Tangible Message Bubbles, a new composition and communication tool that invites youngsters to express and record their everyday expressions, play with these original ...
158
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Existing research addresses how designers create tools to support improvisation, yet little research explores how improvisation offers tools to support design work. This paper exp...
176
click to vote
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...