6197 search results - page 227 / 1240 » Sandbridge Software Tools |
185
click to vote
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
170
click to vote
ECOOPW
2007
Springer
15 years 9 months ago
2007
Springer
Following last three years' RAM-SE (Reflection, AOP and Meta-Data for Software Evolution) workshop at the ECOOP conference, the RAM-SE'07 workshop was a successful and po...
164
click to vote
ECOOPW
2006
Springer
15 years 9 months ago
2006
Springer
Following last two years' RAM-SE (Reflection, AOP and Meta-Data for Software Evolution) workshop at the ECOOP conference, the RAM-SE 2006 workshop was a successful and popular...
169
click to vote
TOSEM
2002
15 years 5 months ago
2002
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
137
click to vote
IWPC
2005
IEEE
15 years 11 months ago
2005
IEEE
Dynamic software visualization is designed to provide programmers with insights as to what the program is doing. Most current visualizations either use program traces to show info...