2613 search results - page 24 / 523 » Active Software Artifacts |
107
click to vote
CSMR
2006
IEEE
15 years 5 months ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
WETICE
2006
IEEE
15 years 5 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
FASE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
FM
2003
Springer
15 years 5 months ago
2003
Springer
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
CSMR
2007
IEEE
15 years 6 months ago
2007
IEEE
Software systems are typically developed by teams of developers, with responsibilities for different parts of the code. Knowledge of how the developers collaborate, and how their ...