7225 search results - page 426 / 1445 » Software is data too |
184
click to vote
ESEM
2009
ACM
16 years 2 months ago
2009
ACM
Software development is a complex and error-prone task. An important factor during the development of complex systems is the understanding of the dependencies that exist between d...
168
click to vote
XPU
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. This paper examines analogies and differences derived by the adoption of Agile Methodologies (AMs) in a set of software companies from the point of view of project manage...
170
click to vote
COMPSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
The current commercial anti-virus software detects a virus only after the virus has appeared and caused damage. Motivated by the standard signature-based technique for detecting v...
214
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
174
click to vote
ADAEUROPE
2006
Springer
16 years 1 months ago
2006
Springer
In this paper we present data flow frameworks that are able to detect access anomalies in Ada multi-tasking programs. In particular, our approach finds all possible non-sequentia...