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

Topics

Publication Date

Curriculum Module

Support Materials for Formal Specification of Software

  • October 1987
  • By Alfs T. Berztiss (University of Pittsburgh)
  • This 1987 report includes materials that are helpful in teaching a course on formal specification of software.
  • Publisher: Software Engineering Institute
    CMU/SEI Report Number: CMU/SEI-87-SM-008
  • Abstract

    This support materials package includes materials helpful in teaching a course on formal specification of software.