Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type


Publication Date

Curriculum Module

Formal Specification of Software

  • October 1987
  • By Alfs T. Berztiss (University of Pittsburgh)
  • This 1987 report introduces formal specification of concurrent software and verification of the consistency between concurrent programs and their specifications.
  • Publisher: Software Engineering Institute
    CMU/SEI Report Number: CMU/SEI-87-CM-008
  • Abstract

    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.

  • Download