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 Lines: 17 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)