SOZL language: A new software development methodology

摘要

In this paper we review and compare the structured methodology, object-oriented methodology and formal methods. In order to overcome the disadvantages of each single methodology and combine the advantages of these three methodologies, we proposed a new software development methodology named SOZL. An SOZL methodology-supporting tool is demostrated.