Deriving Programs from Their Z specifications
Ricardo Cruz · 2006
This paper proposes techniques for deriving programs from their abstract specifications, more specifically proposes refinement techniques for the schema calculus of Z specification language. These techniques are based on a theory for specification refinement and program development