52 search results - page 11 / 11 » Explicit State Model Checking with Hopper |
ECOOP
2008
Springer
13 years 8 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
KBSE
2005
IEEE
13 years 12 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...