Date of Publication :30th November 2017
Abstract: This paper proposes an idea. The idea is to first express a requirement specification using a formal method. The second step is to work out an implementation of the specification in the form of running code in a standard contemporary programming language. The other step is to identify frequently occurring patterns in the formal specifications. And then direct the conversion from the formal specification to the running code. Intermediate steps shall include the development of a computer-based tool for expressing the requirement specifications. we require another tool that shall develop the conversion of the specifications expressed this way into running code. The steps and process are explained with a hypothetical example.
Reference :