DocumentCode
2773722
Title
Deriving Programs from Their Z specifications
Author
Cruz, Ricardo Calderón
Author_Institution
Instituto de Investigaciones Electricas, Morelos
Volume
2
fYear
2006
fDate
Sept. 2006
Firstpage
299
Lastpage
304
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electronics, Robotics and Automotive Mechanics Conference, 2006
Conference_Location
Cuernavaca
Print_ISBN
0-7695-2569-5
Type
conf
DOI
10.1109/CERMA.2006.110
Filename
4019810
Link To Document