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!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!cs.utexas.edu!uunet!munnari.oz.au!csc!ccadfa!usage!basser!metro!bunyip!moondance!paul
From: paul@batserver.cs.uq.oz (Paul Bailes)
Newsgroups: comp.lang.ada
Subject: Ada Specification Languages
Keywords: Ada Anna
Message-ID: <1549@moondance.cs.uq.oz>
Date: 18 Sep 89 04:31:13 GMT
Sender: news@moondance.cs.uq.oz
Reply-To: paul@batserver.cs.uq.oz
List-Id: <comp.lang.ada>

I'm looking for information about software specification languages
developed or modified to have a specifically Ada flavour. For example,
the March 85 issue of IEEE Software describes one such, called ``Anna''.

	* is ``Anna'' still a vital tool (ie being used, at least as
		a research tool)

	* are there any/many other descriptions of Anna

	* are there any other products like Anna

Thanks in advance,
Paul Bailes
(paul@batserver.cs.uq.oz)

(PS please post replies to comp.lang.ada - direct e-mail from the rest
of the world to Australia doesn't ALWAYS work: addresses sometimes bounce)