2969 search results - page 293 / 594 » The Case for User-Centered CASE Tools |
167
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
177
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Heterogeneous multi-robot networks require novel tools for applications that require achieving and maintaining formations. This is the case for distributing sensing devices wit...
194
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we present an algorithm to lay out a particular class of graphs coming from real case studies: the quasi-tree graph class. Protein and internet mappings projects ha...
169
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
153
click to vote
XPU
2009
Springer
16 years 1 months ago
2009
Springer
We present results of a case study looking at how domain knowledge is communicated to developers using executable acceptance test driven development at a large software development...