Q7 Implementing Specifications [20]\ (a) Given

\\\\Sigma ={x|->R,y|->R,z|->R}

, implement (using\ forward substitution) the following specification using a sequence\ of (nonparallel) assignments. [10 marks]\

(:(x^('),y^('))=(xm^(2)+x+my,y+mx):)\ 4

\ (b) Use the alternation law to implement the following. [10 marks]\

(:{x^('),y^('),z^(')}={x,y,z}^(^())x^(')

Q7 Implementing Specifications [20] (a) Given ={"x"R, " y"R,"z"R}, implement (using forward substitution) the following specification using a sequence of (nonparallel) assignments. [10 marks] (x,y)=(xm2+x+my,y+mx) 4 (b) Use the alternation law to implement the following. [10 marks] {x,y,z}={x,y,z}xyz