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

Technical Report

Survey of Formal Specification Techniques for Reactive Systems

  • May 1990
  • By Patrick R. Place, William G. Wood, Mike Tudball
  • This report, published in 1990, develops a set of evaluation criteria and evaluates Communicating Sequential Processes (CSP), the Vienna Development Method (VDM), and temporal logic.
  • Publisher: Software Engineering Institute
    CMU/SEI Report Number: CMU/SEI-90-TR-005
  • Abstract

    Formal methods are being considered for the description of many systems including systems with real-time constraints and multiple concurrently executing processes. This report develops a set of evaluation criteria and evaluates Communicating Sequential Processes (CSP), the Vienna Development Method (VDM), and temporal logic. The evaluation is based on specifications, written with each of the techniques, of an example avionics system.

  • Download

Cite This Report

SEI

Place, Patrick; Wood, William; & Tudball, Mike. Survey of Formal Specification Techniques for Reactive Systems. CMU/SEI-90-TR-005 . Software Engineering Institute, Carnegie Mellon University. 1990. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11163

IEEE

Place. Patrick, Wood. William, and Tudball. Mike, "Survey of Formal Specification Techniques for Reactive Systems," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-90-TR-005 , 1990. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11163

APA

Place, Patrick., Wood, William., & Tudball, Mike. (1990). Survey of Formal Specification Techniques for Reactive Systems (CMU/SEI-90-TR-005 ). Retrieved October 20, 2017, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11163

CHI

Patrick Place, William Wood, & Mike Tudball. Survey of Formal Specification Techniques for Reactive Systems (CMU/SEI-90-TR-005 ). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1990. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11163

MLA

Place, Patrick., Wood, William., & Tudball, Mike. 1990. Survey of Formal Specification Techniques for Reactive Systems (Technical Report CMU/SEI-90-TR-005 ). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11163

BibTex

@techreport{PlaceSurveyof1990,
title={Survey of Formal Specification Techniques for Reactive Systems},
author={Patrick Place and William Wood and Mike Tudball},
year={1990},
number={CMU/SEI-90-TR-005 },
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11163} }