@inproceedings{fa24ae7ed928404dbee82183ae0c2de4,
title = "A formal approach to requirements-based programming",
abstract = "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 to-ward 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 that the formal models cannot be proven to be equivalent to the requirements. We offer a method for mechanically transforming requirements into a provably equivalent formal model that can be used as the basis for code generation and other transformations. This method is unique in offering full mathematical tractability while using notations and techniques that are well known and well trusted. Finally, we describe further application areas we are investigating for use of the approach.",
keywords = "Automatic code generation, Formal methods, Requirements-based programming, Validation, Verification",
author = "Hinchey, {Michael G.} and Rash, {James L.} and Rouff, {Christopher A.}",
year = "2005",
language = "English",
isbn = "0769523080",
series = "Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005",
pages = "339--345",
editor = "J. Rozenblit and T. O'Neill and J. Peng",
booktitle = "Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005",
note = "Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005 ; Conference date: 04-04-2005 Through 07-04-2005",
}