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.
Deriving Programs from Their Z specifications
2006-09-01
171521 byte
Conference paper
Electronic Resource
English
TeStor: Deriving Test Sequences from Model-Based Specifications
British Library Conference Proceedings | 2005
|Deriving Safety-critical System Specifications through Requirements Engineering Process
British Library Online Contents | 1998
|PAPERS - Deriving Safety-critical System Specifications through Requirements Engineering Process
Online Contents | 1998
|