Agile Formal Engineering Method for Software Productivity and Reliability

In spite of the extensive efforts made by researchers and practitioners over the last fifty years, software engineering is still facing tremendous challenges. Several well-recognized software development paradigms have been studied and applied, but considerable difficulties and problems with software productivity and quality are still serious. In this paper, we present an Agile Formal Engineering Method called Agile-SOFL for achieving high software productivity and reliability, which is the result of our recent five-year KAKENHI research project involving four universities and one national research institute in Japan. We describe the overall idea of the method and discuss every activity involved in the method with examples to ensure the readability of our discussions.