Generalizing Consistency Checking between Software Views

  title={Generalizing Consistency Checking between Software Views},
  author={Johan Muskens and Reinder J. Bril and Michel R. V. Chaudron},
  journal={5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05)},
Inconsistencies between software views are a source of errors for software systems. In this paper we present a general approach that aids in finding inconsistencies between different views. This approach supports both intra phase consistency checking and inter phase consistency checking. The approach is suitable for detecting consistency problems between, for example, multiple diagrams in a UML design as well as between a design and an implementation. The approach is based on verification of… CONTINUE READING
Highly Cited
This paper has 55 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 30 extracted citations

55 Citations

Citations per Year
Semantic Scholar estimates that this publication has 55 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 17 references

The theory of relations and its applications to software structuring

  • L. Feijs, R. van Ommering
  • Technical Report IST report RWB-510-re-95011,
  • 1995
Highly Influential
6 Excerpts

Experimentally investigating effects of defects in UML models

  • C. Lange, M. Chaudron
  • Technical Report CS- Report 05-07,
  • 2005
2 Excerpts

Similar Papers

Loading similar papers…