Carregar apresentação
A apresentação está carregando. Por favor, espere
1
refinamento rose, roze, z-eves
2
introdução refinamento em diagramas UML Roze, Z-Eves
3
classe SymbTab: abstrata
4
pré, pós-condições Add pré s? dom st pós st' = st {s? v?} Delete pré s? dom st pós st' = {s?} st
5
classe SymbTab: concreta
6
pré, pós-condições Add pré s? dom (ran st 1 ) pós st 1 ' = st 1 (s?, v?) Delete pré s? dom (ran st 1 ) pós st 1 ' = st 1 {s?} (ran st 1 ) (
7
refinamento st = ran st 1 Operações pre AOP Retrieve pre COP pre AOP Retrieve COP Retrieve’ AOP Init CInit Retrieve’ AInit
8
exercício modelo estado: duas seqüências operações add e delete refinamento (retrieve)
Apresentações semelhantes
