Conference
Simple Type Theory: Simple Steps Towards a Formal Specification
Abstract
Engineers, particularly software engineers, need to know how to read and write precise specifications. Specifications are made precise by expressing them in a formal mathematical language. Simple type theory, also as known as higher-order logic, is an excellent educational and practical tool for creating and understanding formal specifications. It provides a better logical foundation for specification than first-order logic and is a better …
Authors
Farmer WM; Mohrenschildt MV
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
January 1, 2004
DOI
10.1109/fie.2004.1408559
Name of conference
34th Annual Frontiers in Education, 2004. FIE 2004.