844 search results - page 77 / 169 » Experiences Applying Agile Practices to Large Systems |
JOT
2006
13 years 7 months ago
2006
The engineering of architecture-related requirements has proven to be a very difficult task for requirements engineers. It is also a task that experience has shown could use signi...
STTT
2008
13 years 7 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
The number of features that can be computed over an image is, for practical purposes, limitless. Unfortunately, the number of features that can be computed and exploited by most c...
TOOLS
1999
IEEE
14 years 3 days ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
TASE
2008
IEEE
14 years 2 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...