Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
From: Konrad Slind <slind@informatik.tu-muenchen.de>
To: info-hol@leopard.cs.byu.edu
Subject: [nico@salomon.capints: Formal Methods Applications database]
Message-Id: <94Nov22.154646met.8083@sunbroy14.informatik.tu-muenchen.de>
Date: Tue, 22 Nov 1994 15:46:38 +0100


I didn't know what to do with this email, but I thought maybe some
readers of info-hol might be interested. What is "Formal
Methods Europe" anyway?

Konrad.

&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
From:	nico@salomon.capints
Reply-To: Nico.Plat@ACM.org
Return-Receipt-To: Nico.Plat@ACM.org
X-Confirm-Reading-To: Nico.Plat@ACM.org

Dear formal methods tool(s) vendor/producer,

As you may or may not be aware, one of the FME (Formal Methods Europe)
activities currently in progress is the creation of a database in which
industrial (or at least non-toy) examples of applications of formal methods
are stored, electronically accessible through WWW and ftp. We hope and believe
that the existence of such a database will be a stimulating factor in the
take-up of formal methods by others.

Since I know that you are involved in the production of tools supporting formal
methods I would like to ask you if you can aid me in the distribution of the
`call for contributions' (I have included an ASCII version and a LaTeX version
of the call below) by forwarding it to the known users of your tool. One way
of selecting entries in the database will be the tool(s) people have used
for their application; those entries will no doubt enhance the publicity for
these tools.

Your help is most appreciated.

Best wishes,
Nico Plat

----------------------------------------------------------------------------
| Nico Plat | E-mail: Nico.Plat@ACM.org                                    |
----------------------------------------------------------------------------

******* START OF ASCII VERSION *******

-------------------------------------------------------------------------------
	 	    FORMAL METHODS APPLICATIONS DATABASE
-------------------------------------------------------------------------------

The industrial use of formal methods is limited and much of the experience
gained with that industrial use is not available to the outside world. That
is a pity, considering the fact that such experience can be very useful in
avoiding the pitfalls one may encounter when starting to use formal methods
in a `serious' way. It is with this thought in the back of their heads that
some people active in FME (Formal Methods Europe) have come up with the idea
to start a database with examples of applications of formal methods, accessible
through ftp and WWW on a public site. The intention of the database is to give
concise descriptions of - either successful or unsuccessful - application of
formal methods/specification languages that will allow users to assess:
- whether or not formal methods/specification languages are being used for
  large, industrial applications;
- what the difficulties/advantages are of applying formal methods/specification
  languages on a larger scale;
- for which application domains formal methods/specification languages are
  being  used and which formal methods/specification languages are actually
  being used.

If you know of any applications of formal methods/specification languages worth
considering for inclusion in the database (i.e. you have been involved yourself
or you know someone who was involved with such an application) then it would
be appreciated if you would fill in the form below and send it to the contact
person.

-------------------------------------------------------------------------------

Name of the application:
	<Name of the application or a one-line description of it.>
Developed by organisation/consortium:
	<Main organisation(s) involved with the development of the
	 application.>
Formal method/specification language used:
	<Self explanatory.>
Tools used:
	<Name of the tool used (if any).>
Domain:
	<A short characterisation of the application domain in which the
	 formal method/specification language has been applied, e.g.
         "medical systems", "railway systems" or "Air-traffic control (ATC)
         systems".>
Period:
	<Period in time during which the application has been or will be
	 developed. We think this is relevant information because as time
	 passes, the time during which something has been developed can
	 be used as an indication of the state of the art that has been
         applied.>
Size:
	<A rough indication of the "size" of the application, in terms of
	 lines of specification/source code of the implementation or in terms
	 of human resources, i.e. the number of man-years involved.>
Short description:
	<A short (maximum 15 lines) description of the application and the
	 way formal methods/specification languages were applied on the
         application, e.g. did you apply formal proofs? Which mode
	 of working did you use, i.e. separate specification teams/
	 implementation teams, did you consult a formal method "guru", did you
	 use formal methods/specification languages in conjunction with other
         software engineering techniques (e.g. Yourdon). Etc.>
Conclusions:
	<Any (subjective) observations on the application of formal methods/
	 specification languages for your application. Do you feel that
         application of formal methods/specification languages for the case
         you describe was successful? If so/not, why/not? Etc.>
Relevant publications:
	<Adequate references to relevant publications, if any.>
Contact:
	<Name + address details (snail mail, phone, fax, e-mail) of a
	 contact person who may be approached if a person wants to have more
	 information about a case. Fill in "unavailable" if you do not want
	 to or can not be contacted for further information.
Further remarks:
	<Any further remarks which you think may be relevant.>

LEAVE ANY FIELDS WITH INFORMATION THAT YOU DO NOT WANT TO MAKE PUBLIC BLANK.
-------------------------------------------------------------------------------

Please note that an electronic copy of the form can be obtained by sending an
e-mail message containing only the line:

	send vdm-forum fm-appl-db-form.txt

to mailbase@mailbase.ac.uk, and the form will be send back to you.
Alternatively, you can pick it up on WWW at URL:

	gopher://nisp.ncl.ac.uk/11/lists-u-z/vdm-forum/files

or by anonymous ftp from:

	ftp.ifad.dk (130.225.136.3) (directory pub/vdm)

Please send your contributions to (e-mail preferred):

	Nico Plat
	Cap Volmac
	Dolderseweg 2
	3712 BP Huis ter Heide
	The Netherlands

	Fax: +31-3404-31174
	E-mail: Nico.Plat@ACM.org

using the format above.

-------------------------------------------------------------------------------