By the same authors

Approaching the Formal Design and Development of Complex Systems: The Retrenchment Position

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2004
Original languageUndefined/Unknown


The arguments for using formal techniques in the construction of complex systems are reviewed, and the refinement and retrenchment techniques in particular are summarised. Coarse grained retrenchment, with its capacity to analyse and express system properties at various levels of granularity, is promoted as a laboratory for understanding emergent behaviour of complex systems.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations