From: thomo@cs.uq.oz.au (John Thomas)
Subject: ADL - ada developement language
Date: 11 May 91 03:02:03 GMT [thread overview]
Message-ID: <1306@uqcspe.cs.uq.oz.au> (raw)
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 !!!
reply other threads:[~1991-05-11 3:02 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox