Rohan Fletcher

Learn More
– Control room operators are faced with frequent security-economy decision-making situations necessitated by stressed system operating conditions, and there is increased need for security-economy decision-support tools. Although probabilistic methods are promising in this regard, they have been mainly used in planning environments. This task force paper(More)
In this paper we develop a framework for semi-automated generation of test cases for object oriented programs from formal speci-cations. We use Object-Z as the formal speciication language. We have designed and prototyped a test system called OZTEST. It understands the characteristics of object-oriented speciications including inheritance. OZTEST maps the(More)
The separation of architecture definition language (ADL) and interface definition language (IDL) is widely accepted in the distributed system community. It separates issues of hierarchical composition and configuration from those of services, communication and synchronisation and thus eases reconfiguration without changing the interfaces and implementation(More)
  • 1