113
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique t...