1801 search results - page 272 / 361 » Software Patterns in ITS Architectures |
127
Voted
AGILEDC
2005
IEEE
15 years 9 months ago
2005
IEEE
Doing agile development in a relatively inelastic environment, where policies and procedures are virtually unchangeable, creates an impedance mismatch between the agile team and i...
146
click to vote
ECLIPSE
2007
ACM
15 years 7 months ago
2007
ACM
We present a tool that predicts whether the software under development inside an IDE has a bug. An IDE plugin performs this prediction, using the Change Classification technique t...
124
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
: 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...
155
Voted
IUI
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
138
Voted
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...