The Specification Language SF

  • Alfs Berztiss

Abstract

The SF (Set-Function) language has been designed for the specification of information-control systems. An SF specification is derived from type, state transition, and data flow or Petri net diagrams. The SF language is shown to have a strong object orientation.

Keywords

Encapsulation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York, Inc. 1996

Authors and Affiliations

  • Alfs Berztiss
    • 1
    • 2
  1. 1.Department of Computer ScienceUniversity of PittsburghPittsburghUSA
  2. 2.Institute of DSVStockholm UniversityKistaSweden

Personalised recommendations