1376 search results - page 54 / 276 » Model-Driven Software Verification |
AC
2002
Springer
15 years 1 months ago
2002
Springer
193
click to vote
IFM
2010
Springer
14 years 12 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
107
click to vote
KBSE
2010
IEEE
15 years 11 days ago
2010
IEEE
Most practising software architects operate within an architecture framework which is a coordinated set of viewpoints, models and notations prescribed for them. Whereas architectu...
158
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...