From: paul@batserver.cs.uq.oz (Paul Bailes)
Subject: Ada Specification Languages
Date: 18 Sep 89 04:31:13 GMT [thread overview]
Message-ID: <1549@moondance.cs.uq.oz> (raw)
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)
next reply other threads:[~1989-09-18 4:31 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1989-09-18 4:31 Paul Bailes [this message]
1989-09-29 22:01 ` Ada Specification Languages David Guaspari
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox