The Specification Language SF

  • Alfs Berztiss


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.


Data Type Message Passing Internal Event Object Orientation Process Team 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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