thomo@cs.uq.oz.au (John Thomas) (05/11/91)
I intend to rewrite (revise) ADL (Ada Development Language) devised by R. Lees using the specification language Object Z (Objectified version of Z - developed at the University of Queensland) as a project for my honours year. If there are any people (martians etc) out there that have reviewed ADL and have some constructive criticisms or issues they believe ADL didn't address etc please reply to this group or email me personally. Thanx. EMAIL : thomo@batserver.cs.uq.oz.au SNAIL : 1 Algoori Street Morningside QLD AUSTRALIA 4170. Today Words of Wisdom for the downtrodden : Keep on HONKing them noses guys !!!