University of Hertfordshire

Documents

  • D.A. Fensome
View graph of relations
Original languageEnglish
PublisherUniversity of Hertfordshire
Publication statusPublished - 1993

Publication series

NameUH Computer Science Technical Report
PublisherUniversity of Hertfordshire
Volume160

Abstract

This report summarises the data flow models from existing real time systems development methodologies, and describes some of the problems with using them to define real-time system functional requirements. The motivation for this report is to establish a suitable model for prototyping real-time systems. A vending machine case study is used to model various system properties, and Z was used to describe the functional properties. The report shows that there is a case for a new data flow model to define system requirements.

ID: 98164