Go backward to Decomposing Complete Systems
Go up to Top
Go forward to Refinement of Components
Hierarchical Development
- Decomposition of specification:
- = and
- asserts that is initially 233344 and repeatedly decremented by
whenever .
- Decomposition of program:
- pi = pi || pi
- Process pi
output var initially 233344;
input var ;
loop < if then :=
>
endloop
- Process pi
output var initially 233577899;
input var ;
loop < if then :=
>
endloop
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: spec1.tex,v 1.1 1996/05/13 09:04:04 schreine Exp schreine