1376 search results - page 54 / 276 » Model-Driven Software Verification |
104
Voted
AC
2002
Springer
15 years 2 months ago
2002
Springer
202
Voted
IFM
2010
Springer
15 years 17 days 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...
113
click to vote
KBSE
2010
IEEE
15 years 1 months 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...
163
Voted
POPL
2010
ACM
16 years 1 days 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...