ICSE
2004
IEEE-ACM
14 years 4 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...