A formal approach to requirements-based programming

@article{Hinchey2005AFA,
  title={A formal approach to requirements-based programming},
  author={Michael G. Hinchey and James L. Rash and Christopher A. Rouff},
  journal={12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05)},
  year={2005},
  pages={339-345}
}
No significant general-purpose method is currently available to mechanically transform system requirements into a provably equivalent model. The widespread use of such a method represents a necessary step toward high-dependability system engineering for numerous application domains. Current tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" unfilled by such tools and methods is… CONTINUE READING