2105 search results - page 164 / 421 » Decoupling in Object Orientation |
ENTCS
2007
15 years 4 months ago
2007
ETS
2007
IEEE
15 years 4 months ago
2007
IEEE
140
click to vote
TAP
2008
Springer
15 years 4 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
144
click to vote
TSE
2008
15 years 4 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...