Support Materials for Formal Specification of Software

Abstract

Contents - Examples of Predicative Specifications; The SF (Set- Function) Methodology; SF Specification: Boat Hire; SF Specification: A Library System; SF Specification: An Elevator Controller; The Specification Process; Formal Specification Courses.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1987
Accession Number
ADA236121

Entities

People

  • Alfs Berztiss

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Energy and Power Technologies
  • Human Systems
  • Sensors

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computer Science
  • Computers
  • Control Systems
  • Department Of Defense
  • Employment
  • Instructors
  • Materials
  • Personnel Management
  • Software Design
  • Software Development
  • Software Testing
  • Specifications
  • Standards
  • Students
  • Systems Engineering

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Mathematical Modeling and Probability Theory.
  • Military Engineering.