The University of Southampton
University of Southampton Institutional Repository

Refinement of Dynamic Systems

Hallerstede, S. and Butler, M. J. (1999) Refinement of Dynamic Systems University of Southampton

Record type: Monograph (Project Report)


Existing refinement frameworks such as B allow a developer to specify a system on an abstract level. Subsequently, this abstract specification is refined into an implementation that performs the specified task. In this paper a conventional refinement approach is extended with a means for performance analysis. This new approach guides a developer towards well-performing implementations throughout the refinement process. The main achievement of this work is an elaboration of a connection between performance and trace refinement.

Postscript - Other
Download (244kB)

More information

Published date: September 1999
Additional Information: Address: Declarative Systems & Software Engineering, DSSE-TR-99-8
Organisations: Electronic & Software Systems


Local EPrints ID: 252949
PURE UUID: d602a27e-cb89-4fe7-9cc2-72a41d04da27
ORCID for M. J. Butler: ORCID iD

Catalogue record

Date deposited: 13 Jul 2000
Last modified: 18 Jul 2017 10:00

Export record


Author: S. Hallerstede
Author: M. J. Butler ORCID iD

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.