hi all
just been working on the ITB229 assignment and got a few questions,
been over all the lectures and i cant seem to find what the upside down A means in Z, if anyone knows Z specification.

also anyone else having any truble with this assignment?

mathematical term for "for all values of"

ok thanks

has anybody done the questions at all?

last edited by Irhabi at 20:12:31 30/May/04

I should probably add I'm not doing the subject, I just looked in my dictionary thing here, there's a page with some mathematical symbols. Upside down A is "for all values of".

I should probably add I'm not doing the subject, I just looked in my dictionary thing here, there's a page with some mathematical symbols. Upside down A is "for all values of".

no problem seams to make sence.

to anyone who understands Z
anywho this is what i got for question 3 does it look right?

Question 3. Show a schema that frees a property for a new leasing (4 marks).
Answer:
[Property] the set of all properties (houses, apartments) currently managed by the company //supper set
[Lease_Period] the set of all time intervals for which a property can be leased //super set
s:Property | s . Property Not ran (leased s) Leased_Period

last edited by Irhabi at 20:21:03 30/May/04

looks right to me - but your doing it the hard way.

Easiest way - you have two sets, properties with lease datse, and thsoe without.

Set s = forall Prop in P | Prop notelementof Lease(Prop).

And the other half is

Forall Prop in P | Prop ISELEMENT Lease(Prop).

Thats what I guess :)

Should start that assignment hey :S

Due friday :'(
WAAAA

Ahhhh Leon - I will always remember you as the 'Z Master'... :D

cheers mate, i also know B as well but Z is way cooler. And I'm a self professed Object-Z'er as well.

But formal specs got bored real quick, especially when writing a spec produced nothing - There is still too much grey area between formal specs and actual code.

Except Hoare Triples (COMP3600 for those UQ'ers out there) without a doubt the best subject for hardcore algorithms and formal proofs of making an assembler program squeeze every last click outta the CPU

dude add me on msn, firebl00d@hotmail.com.

We can talk Z s***! :)

Havnt actually done much but i plan to :)
We could check answers :)

Leon Trotsky add me to ur msn
Edit: ok cool


last edited by Irhabi at 21:19:23 01/Jun/04

irhabi, got you added