Software Engineering Institute

Support Materials for Formal Specification of Software

October 1, 1987 • Curriculum Module

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.

Ask a question about this Curriculum Module