@inproceedings{inproceedings,
  author    = {Arnold, Dave and Corriveau, Jean-Pierre and Shi, Wei},
  title     = {Modeling and Validating Requirements Using Executable Cotnracts and Scenarios},
  booktitle = {2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications},
  address = {Montrreal, QC, Canada},
  month = {05},
  year  = {2010},
  DOI = {10.1109/SERA.2010.46}
}