Title :
Formal methods and software development
Author_Institution :
Dept. of Math. & Comput. Sci., Leicester Univ., UK
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
Keywords :
formal specification; programming theory; development method; executable code; formal methods; mathematical explanation; programming language; semantics; software development; specification; Bridges; Computer science; Concrete; Education; Formal languages; Humans; Mathematics; Programming;
Conference_Titel :
Software Engineering: Education and Practice, 1996. Proceedings. International Conference
Conference_Location :
Dunedin
Print_ISBN :
0-8186-7379-6
DOI :
10.1109/SEEP.1996.533988
