On the role of nondeterminism and refinement in model-driven top-down development of software systems

Heiko Schmidt. On the role of nondeterminism and refinement in model-driven top-down development of software systems. PhD thesis, University of Kiel, 2009.

Abstract

Abstract is missing.