1663 search results - page 45 / 333 » Software Reuse and Safety |
JISBD
2001
13 years 11 months ago
2001
The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different f...
SPLC
2000
13 years 11 months ago
2000
In this paper, we discuss the view that planning software development -- and particularly software reuse -- should be based not on standardized criteria, but on those criteria tha...
AMAST
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
Developers perform small-scale reuse tasks to save time and to increase the quality of their code. Due to the small scale of such tasks, the overhead in reusing source code can qu...
METRICS
1997
IEEE
14 years 2 months ago
1997
IEEE
The shapes of forests of inheritance trees can affect the amount of code reuse in an object-oriented system. Designers can benefit from knowing how structuring decisions affect r...