Estelle

Hello and welcome to the Estelle Newsletter, an electronic newsletter
for people interested in the Formal Description Technique Estelle (IS
9074).

To post a message to the list, send email to "estelle@cs.umb.edu".
Please do not use this address for administrative activities such as
subscribing and unsubscribing; instead, use the request addresses
given below.


Estelle resources:


NIST has developed Estelle tools called "Pet Dingo".  These are
available via anonymous ftp from the NIST site "osi.ncsl.nist.gov" in
the directory "/pub/petdingo".  NIST also maintains a mailing list for
pet dingo related issues: "petdingo-group@apm1.ncsl.nist.gov".

Institut National des Telecommunications distributes the Estelle
Development Toolset (EDT) comprising a compiler, a simulator and
debugger, and a universal test driver generator.  Versions of the
software are available for BULL DPX/20, IBM RS6000, HP9000/700, and
SUN3 and 4 computers under corresponding UNIX systems.  Versions to
run on Sun Workstations under either SunOS 4.1.x or SOLARIS 2.x are
available for one-month, cost-free evaluations by anonymous ftp from
"157.159.100.27", directory "/EDTdemo", in the files "SunOs4.1.tar.Z"
and "SunSolaris2.tar.Z", respectively.  The files must be transferred
in binary mode.  More information is available in the READ_ME file and
the manuals (files "EDTgen+Ec.ps.Z", "Edb+Utdg.ps.Z", and "IF.ps.Z",
which are in compressed postscript format).

Professor Paul D. Amer maintains a repository of Estelle specifications
at the University of Delaware.  These specifications may be accessed via
anonymous ftp to "louie.udel.edu" and can be found in the directory
"pub/grope/estelle-specs".  Anyone wishing to contribute an Estelle spec
to this repository should send an electronic copy to "amer@cis.udel.edu".

Other resources will be added to this list as their maintainers make
them known.  The instructions below include directions for obtaining
the most recent version of this information file.


Subscription and Other List Functions:


There are two forms of this list:
    "estelle@cs.umb.edu", which is a mail list that rebroadcasts each
        incoming message as it receives it, and
    "estelle-digest@cs.umb.edu", which accumulates the messages from
        estelle@cs.umb.edu for an entire week and sends them out only
        once a week.

You may subscribe to either of these lists by sending email to one of
the request addresses:
    estelle-request@cs.umb.edu
or
    estelle-digest-request@cs.umb.edu
respectively with any subject line and a body with just the word
"subscribe", optionally followed by your email address.  To
unsubscribe, send a message to the same address, with a body with
just the word "unsubscribe", optionally followed by your email
address.  If you do not provide the optional address, the "Reply-To"
address from your message header is used, if available; otherwise the
"From" address is used.

To receive the latest version of this message, send email to one of
the request addresses with the body "info".  An index to archived
messages is available and the archived messages may be retrieved via
email requests.  To find out about these and further list functions,
send email to one of the request addresses with the body "help".