Mathematical structure model for Word-Based Program

摘要

The new software world is progressing steadily forward but is not yet within range of where it needs to be. This paper presents a mathematical ground for the Lyee methodology, which has already produced several achievements in industry. This method enables us not to attention the sequential order of program execution. By introducing the concept of a state, it is possible to prove the program structure. The construction of such a program structure allows programmers to focus on conditions and formulae that calculate the value. Through this model, a system divided for catching correct requirements quickly is integrated, and its optimal program with minimum repetitions can be generated by rearranging words into the right order.