Title :
Deriving Programs from Their Z specifications
Author :
Cruz, Ricardo Calderón
Author_Institution :
Instituto de Investigaciones Electricas, Morelos
Abstract :
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
Keywords :
formal specification; process algebra; specification languages; Z specification language; abstract specifications; program derivation; program development; schema calculus; specification refinement techniques; Automotive engineering; Calculus; Computer languages; Computer science; Logic; Performance evaluation; Robots; Software systems; Specification languages; Testing;
Conference_Titel :
Electronics, Robotics and Automotive Mechanics Conference, 2006
Conference_Location :
Cuernavaca
Print_ISBN :
0-7695-2569-5
DOI :
10.1109/CERMA.2006.110
