How to Extend the Abstraction Refinement Model for Systems with Emergent Behavior ?

Mohamed Toufik Ailane, Christoph Knieke, Andreas Rausch

The Abstraction Refinement Model has been widely adopted since it was firstly proposed many decades ago. This powerful model of software evolution process brings important properti…