Nentwich, C and Emmerich, W and Finkelstein, A and Ellmer, E (2003) Flexible consistency checking. ACM T SOFTW ENG METH , 12 (1) 28 - 63.
Full text not available from this repository.
Abstract
The problem of managing the consistency of heterogeneous, distributed software engineering documents is central to the development of large and complex systems. We show how this problem can be addressed using xlinkit, a lightweight framework for consistency checking that leverages standard Internet technologies. xlinkit provides flexibility, strong diagnostics, and support for distribution and document heterogeneity. We use xlinkit in a comprehensive case study that demonstrates how design, implementation and deployment information of an Enterprise JavaBeans system can be checked for consistency, and rechecked incrementally when changes are made.
| Type: | Article |
|---|---|
| Title: | Flexible consistency checking |
| Keywords: | design, languages, verification, CASE tools, consistency management, constraint checking, multiple perspectives |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science UCL > School of BEAMS > Faculty of Engineering Science > Engineering Science Faculty Office |
Archive Staff Only: edit this record