- UHRA Home
- Browsing by Author
Browsing by Author "Fensome, D.A."
Now showing items 1-4 of 4
-
A data flow model for prototyping reactive systems. (PhD Transfer Report)
Fensome, D.A. (University of Hertfordshire, 1994)A prototype is defined to be the first of its kind, or a model for another of its kind. In general manufacturing, building a prototype is an accepted way of validating a design before manufacturing resources are committed ... -
Modelling real time systems functional requirements using existing data flow methods
Fensome, D.A. (University of Hertfordshire, 1993)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 ... -
Prototyping real time engineering systems using Hatley & Pirbhai's requirement model
Fensome, D.A. (University of Hertfordshire, 1992)A research programme is underway which is aimed at establishing ways of prototyping real time engineering systems using existing concurrent programming systems. The role of formal techniques in the development of prototypes, ... -
Sequential animation of a structured analysis required logical model of a vending machine controller
Fensome, D.A. (University of Hertfordshire, 1993)This report summarises part of a research programme investigating prototyping methods for real-time systems. Previous work has examined Ada tasking as an animation tool for data flow models and the use of data flow to model ...