Emergent Properties Do Not Refine | Zendy

Fiona Polack | Zendy; Susan Stepney | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Emergent Properties Do Not Refine

Author(s) -

Fiona Polack,

Susan Stepney

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.04.030

Subject(s) - computer science , relation (database) , development (topology) , discontinuity (linguistics) , position (finance) , theoretical computer science , mathematics , data mining , mathematical analysis , finance , economics

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research