Understanding the differences between VDM and Z

Understanding the differences between VDM and Z - o~CM,

Info iconThis preview shows pages 1–7. Sign up to view the full content.

View Full Document Right Arrow Icon
o~CM, +-'-=+++'----c~'I'C~mCI~"T" "a = -, Software Engineering Notes vol 19 no 3 o ~ E >.= =.~ .: o : ~ '~ .,~ . - - II >.-=-~ - "=. ~ =+o + +.+='~+9:I ~"-+ = , ..~+ '~ m~== +',-_~,. ,..1~us ++-~+ m ~J :~ ~ ~ ,,~ : ~,,a ~,p, II =~ = -= E.-" ~ ~ "~ ~ ~ o ~ o - - o = = + + .++ ~ d cl Ju]y 1994 Page 75 z - ~,~.P. ~'= z~ .~ ~5 .... o,- ~.,: 4 = ~ ~.o ,~ "~, . ~ ~ i:: ~ ..~ ~'~o ~ ~ ~ .= >, ~ ~.~ c . +,= ~=~a~. .=, --,s ~ ~ = . = = o o" ~ = ~ ,,~ o ~:. ='~'=~ =<'~ .~.~ ~=~-~s , &-~ ~ ~ ~ ,~+'i~.~:~o ~ ~8 ~y, ~-- ,~.~.£ :3.,~ - .=- = ..... o o .. - -. "= 3 : ~= - ; • = ~" = - '~ ~ =--* - = 0.3 ~ 's o.~. ,.3 " o- -= ~ " .~ _~"~ . ~ ~ =~'~0~o.; ~. =- = = o ~- ~ ~ . ~ ~" o ~ ~'~+- .~"~ ~ e ~.E~ P, ~ .~+. ~:_ ~., ~ = :m" ,~ ~ Z~ "~,. .. I"=~, . ~ " I~ ~ ~ ~.-~ ~ - ~'E= - : ,~ . ~0 ~ _ o = : :--.~ * .~ o-o ~. ~= g : : .,~=,9 , < ~ o: ~ -- o =~>I ~ ~ * Io=- + ~ ® ~0' "3 S~ o~ ~ ~ r~'=-=-a ~ ._> ,~m: ~.= = c~ "E c~ ~'l~ ~ "6 ~ -.-=~ "~-~ -= - - -m . ....... ~.=°° .C~'~ , = ,.= .~ = • ~. ,. ~ ~0 ..= £ ~..~ o ...~ ~ ._= II +$j ,+, ++ij++.~ - "+ i>~ ":=" ,raP+, {: +:i+ "" m ~+ ++ +++ :++ +~, ++ "+-~+";"'+_ = " + +~++mSe+++e +- "" .- '" " " e.e~.+.~ .+ ,...: !g ~ + + -.,, ~ ,~'++.: ,::+++." ++ + ++] + i ":" ~'~'=+-<" I-~: j l~l ! 0"::"'" !i Ii j++_+ _++, ,,.,-
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
ACM SIGSOFT Software Engineering Notes vo] 19 no 3 ,~,-ff ='-~ .. ~, "~ ,,~ ¢.. ,u ~ ~': ~-.- .- = = < <.~. ~ ~ '~ S.a '~ " ".~- = ~ .,== e E ~ > ,~ 0 .: 0 ~ >..~ ? < ~: E~ c = .~ 0 "T. "_, %,.~ ~ ~ ~ ~ ~ . _ "- .-~ "-e ~ ~ .~=s .... ~- ~, ~., <-~ ~ ~ ~ ~. ~ ; ~u~ - ,=8s "~, = " i ];; • - , =.==o ~ ..O~o ~ ~ ~ ~ ; ~.~- = .= |- .-o ~ =o~ ==~= ~ . --~=.= == = ] =~'~ i -'~ ~"~==~ ~ """' .~ "~' ~ ~ = "~ ==e = ~- ~o = -~ =.=e ~,~ -* ~'-- #~s== o == "= o = - = . ~G'~.~ =..~. . o_ o -. . .I.o ~o ~.~:.~.~ e ,~'; >= ,~> _ oS: ,.~._ ~ = o ~ e.= o,. .= ~ ,~= =.,===.~ .=._~ =- -= =='--- " ~ ~ -- : o = o,,. -~. ._=. .o ~ #=. ~ -~u ~ ~ ~..~ ~ "~." ~ =Z,=.~2 , E..c, " ~" '~'~'! = - ~ = -.=> = -,~ ",~ £,'~, =-~-=z.~ ~ = = =~ .~ 8._= =.~. .~ ~ .~o~,, ..~ =o .= ~ a~,-~, "~'~='~:.~=-~-=-e ":= ~.~'=~e .=. .o~ • ~ = = T= -.~ =: .<=~=.~.-=~e~= :''' '= ,~'E.~-e",'~ " " =,o- ==~."'~o =~o~ ._o = ..... ..== ~.~ ~.s~ E¢,~.~.~ ~=.'~-- ~ ~ ~ .~.~ _~o~.~= ...... ~ ~~-~ .:~ --~.~:~ .~.~= o ~a,-~ ~.~. ~ ~ "" ~ II o "~,.;~ o~,~ -.~o~= o ~ - "~ ~ . S ~ ~,~ .. ._= ~.~ =-= ! =.o =.= ;] =E o~" July 1994 Page 76
Background image of page 2
ACM SIGSOFT Softwaze Engineering Notes vol 19 no 3 July 1994 Page 77 • ~ ~o = ~2. it m ..... .... o" ~ -= .......... "-- " -~ ~-- j ! I ~.- - ,,- .................... -= . ...... ='~>-.= ; ;'7 s o ~ ~o.~=- = ~~,. .._= ~.==.,~ o=.~ ..~.~=.~-._oI®=°~ ~ -'°-'-'a u = _ t.~. E Z.~ =-=._~ .~- ~ i= 6 =: o = : - i a • ~- ~ : ---= E ~" o= ,> :~ .. |..~_~._~-s'~ ° .:~=.~],~ 'l'-~i-.~. .~ii~ ~.~.~jo=~-=.~ t'_=~. . =. -" ;i =°ii != 1=.=.~. ~>~ -~o ~. .=. su. ..,o_-.= iC;='] a=-Z= J = o~t,,. :a 2= "=~ gg~ o~ !'= -- o -.-. . ~-- < <~-,.~ . .= =.:= . ~ ~.~, ! ]= e~oo "~ ~= "~h =%=_ --~ 'E'a o'~ ,,. . e.. ='- = ® ~ o ~-~ "o ~=e= "- ~r: ~ ~u :Z ~< ,b ° ~,.~'~ = ~:~ .2.E~ : ,,~ | | s: ='8~ <" " " : = o W. " " ~ ~ = I~,~ ,,i,~ ~ W~' II II 411 ~ ~ ~ ~.-~~ ~ ~'~ ~= ~s ~,~'~ o. o= ,-i : m o i "=.,~ '~ I l,i It ~ ...°.,.~ , I= ~ ,., el.,= ~ ~I~ E.., !J~,!] ~.~.J ,~ =.=]! • 7~ == ~, i;, ;=. .,~-i |. ! = I.,~ ~' .~ : I. ,.~ o e i "5l ~I.'~1,: !: =;. .~ o • ~'= ~--; .. #.2 ~,'~-- ..~ = ~'~.= |~;~.~ ~.~ [~;~ E :-= ,~ o~,~ ,a,=Z = ~ i 'o . b0
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
ACM SIGSOFT Software Engineering Notes vol 19 no 3 July 1994 Page 78 ,=o =,V,,.~-'~E - @=-~.~=- E=~ .~-:<~=~._.~ ==- ~._=. .-. .~.~_==~ ~ ~.~ o=~,~,:~.=-~-~,~.~ ~. "-oo ~...-==-=._=,=--'o,~.=. ~o=-~==,=~=o==E>
Background image of page 4
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 6
Background image of page 7
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 7

Understanding the differences between VDM and Z - o~CM,

This preview shows document pages 1 - 7. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online