Formal methods and software development

Abstract

It is possible to provide a complete mathematical explanation of the process of software development. The mathematics can be based on a few basic concepts that are used to give the semantics of a programming language and to provide an explanation of the various steps of a development method. The development of executable code from a specification can be carried out by a set of transformations and justified by the mathematics.