DocumentCode
2491052
Title
Formal methods and software development
Author
Andrews, Derek
Author_Institution
Dept. of Math. & Comput. Sci., Leicester Univ., UK
fYear
1996
fDate
24-27 Jan 1996
Firstpage
106
Lastpage
113
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering: Education and Practice, 1996. Proceedings. International Conference
Conference_Location
Dunedin
Print_ISBN
0-8186-7379-6
Type
conf
DOI
10.1109/SEEP.1996.533988
Filename
533988
Link To Document