Richard Banach, Czeslaw Jeske, Simon Fraser, Richard Cross, Michael Poppleton, Susan Stepney, Steven King.
Approaching the Formal Design and Development of Complex Systems: The Retrenchment Position.

Workshop on Software and Complex Systems, 9th IEEE International Conference on Engineering of Complex Computer Systems, Florence, Italy, 14-16 April 2004

Abstract:

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.

@inproceedings(SS-WSCS04,
  author = "Richard Banach and Czeslaw Jeske and Simon Fraser and Richard Cross
           and Michael Poppleton and Susan Stepney and Steven King",
  title = "Approaching the Formal Design and Development of Complex Systems:
           The Retrenchment Position",
  crossref = "WSCS04"
)

@proceedings(WSCS04,
  title = "Workshop on Software and Complex Systems,
           9th IEEE International Conference on Engineering of Complex Computer Systems,
           Florence, Italy, 14-16 April 2004",
  booktitle = "Workshop on Software and Complex Systems,
           9th IEEE International Conference on Engineering of Complex Computer Systems,
           Florence, Italy, 14-16 April 2004",
  year = 2004
)