1376 search results - page 90 / 276 » Model-Driven Software Verification |
126
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
134
click to vote
IEE
2008
15 years 2 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
140
Voted
VSTTE
2010
Springer
15 years 22 days ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
135
click to vote
GI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
115
click to vote
ISSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...