1376 search results - page 69 / 276 » Model-Driven Software Verification |
ADAEUROPE
2005
Springer
15 years 7 months ago
2005
Springer
KBSE
2002
IEEE
15 years 6 months ago
2002
IEEE
78
Voted
ISSTA
2000
ACM
15 years 6 months ago
2000
ACM
141
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
118
click to vote
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...