dc.contributor.author | Fensome, D.A. | |
dc.date.accessioned | 2010-08-10T10:42:21Z | |
dc.date.available | 2010-08-10T10:42:21Z | |
dc.date.issued | 1993 | |
dc.identifier.citation | Fensome , 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.other | dspace: 2299/4736 | |
dc.identifier.uri | http://hdl.handle.net/2299/4736 | |
dc.description.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. | en |
dc.format.extent | 4429428 | |
dc.language.iso | eng | |
dc.publisher | University of Hertfordshire | |
dc.relation.ispartofseries | UH Computer Science Technical Report | |
dc.title | Modelling real time systems functional requirements using existing data flow methods | en |
dc.contributor.institution | School of Computer Science | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |