Show simple item record

dc.contributor.authorFensome, D.A.
dc.date.accessioned2010-08-10T10:42:21Z
dc.date.available2010-08-10T10:42:21Z
dc.date.issued1993
dc.identifier.citationFensome , D A 1993 , Modelling real time systems functional requirements using existing data flow methods . UH Computer Science Technical Report , vol. 160 , University of Hertfordshire .
dc.identifier.otherPURE: 98164
dc.identifier.otherPURE UUID: a9a57aa0-845a-4ee7-b47c-b70fc8303b8d
dc.identifier.otherdspace: 2299/4736
dc.identifier.urihttp://hdl.handle.net/2299/4736
dc.description.abstractThis 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.en
dc.language.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.rights/dk/atira/pure/core/openaccesspermission/open
dc.titleModelling real time systems functional requirements using existing data flow methodsen
dc.contributor.institutionSchool of Computer Science
dc.relation.schoolSchool of Computer Science
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue
herts.rights.accesstyperestrictedAccess


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record