1376 search results - page 155 / 276 » Model-Driven Software Verification |
109
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
144
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
117
click to vote
ICCSA
2009
Springer
15 years 1 months ago
2009
Springer
Software is more and more built from pre-existing components. This is true also for the embedded software domain, and there is a need to consider how development processes need to ...
156
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
148
click to vote
PPOPP
2010
ACM
16 years 15 days ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...