A formal approach to requirements-based programming

  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)},
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