Software Engineering Institute Carnegie Mellon

Formal Specification of Software

Berztiss, A. (University of Pittsburgh)

Curriculum Module
SEI-CM-8-1.0

PDF Download
PostScript File

This module introduces methods for the formal specification of programs and large software systems, and reviews the domains of application of these methods. Its emphasis is on the functional properties of software. It does not deal with the specification of programming languages, the specification of user-computer interfaces, or the verification of programs. Neither does it attempt to cover the specification of distributed systems.