6197 search results - page 237 / 1240 » Sandbridge Software Tools |
146
click to vote
ICPADS
2005
IEEE
15 years 11 months ago
2005
IEEE
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
160
Voted
CAV
2006
Springer
15 years 9 months ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...
151
click to vote
JUCS
2006
15 years 5 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
172
click to vote
SIGSOFT
2008
ACM
15 years 3 months ago
2008
ACM
Software development processes can be represented as objects because they and the elements that compose them have attributes and operations, can be linked by relationships and hav...
174
click to vote
JOT
2010
15 years 3 months ago
2010
Many software engineers try very hard not to use the word “reuse” because many methods and tools intended to promote reuse have failed to meet expectations. As soon as they le...