Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems

@inproceedings{Buhr-al:ICSE85,
  author    = {Raymond J. A. Buhr and
               C. Murray Woodside and
               Gerald M. Karam and
               K. Van Der Loo and
               D. G. Lewis},
  title     = {Experiments with Prolog Design Descriptions and Tools in {CAEDE:} An Iconic Design Environment for Multitasking, Embdedded Systems},
  booktitle = {ICSE},
  pages     = {62--67},
  publisher = {{IEEE} Computer Society},
  year      = {1985},
}