Journal
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Volume 137, Issue 2, Pages 163-181Publisher
ELSEVIER
DOI: 10.1016/j.entcs.2005.04.030
Keywords
Emergence; Refinement; Systems Engineering
Categories
Funding
- EPSRC [EP/C516966/1]
Ask authors/readers for more resources
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available
Share Paper
