From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: ***
X-Spam-Status: No, score=3.4 required=5.0 tests=BAYES_50,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!samsung!munnari.oz.au!brolga!uqcspe!cs.uq.oz.au!thomo
From: thomo@cs.uq.oz.au (John Thomas)
Newsgroups: comp.lang.ada
Subject: ADL - ada developement language
Summary: improving ADL by the use of Object Z
Keywords: ada, development language
Message-ID: <1306@uqcspe.cs.uq.oz.au>
Date: 11 May 91 03:02:03 GMT
Sender: news@cs.uq.oz.au
Reply-To: thomo@cs.uq.oz.au
List-Id: <comp.lang.ada>


 	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 !!!