Fiona Polack, Susan Stepney.
Emergent Properties do not Refine.

REFINE 2005 workshop, Guildford, UK, April 2005 . Electronic Notes in Theoretical Computer Science, 137(2):163-181. Elsevier, 2005


Refinement is conventionally used to effect a demonstrably-correct development from an abstract specification. Emergent systems present an interesting challenge in terms of demonstrably-correct development, because there is a discontinuity between the global and local system descriptions. This is a position paper, exploring some aspects of the challenge in relation to the traditional model of refinement.

  author = "Fiona Polack and Susan Stepney",
  title = "Emergent Properties do not Refine",
  pages = "163--181",
  crossref = "REFINE05"

  title = "REFINE 2005 Workshop, Guildford, UK, April 2005",
  booktitle = "REFINE 2005 Workshop, Guildford, UK, April 2005",
  series = "ENTCS",
  volume = 137,
  number = 2,
  publisher = "Elsevier",
  year = 2005