Monitoring Compliance of a Software System with Its High-Level Design Models

@inproceedings{Sefika-al:ICSE96,
  author    = {Mohlalefi Sefika and
               Aamod Sane and
               Roy H. Campbell},
  title     = {Monitoring Compliance of a Software System with Its {High-Level} Design Models},
  booktitle = {ICSE},
  pages     = {387--396},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
}