comp.lang.ada
 help / color / mirror / Atom feed
* Announcing new validation and verification mailing list
@ 1998-02-05  0:00 Steve Stevenson
  0 siblings, 0 replies; only message in thread
From: Steve Stevenson @ 1998-02-05  0:00 UTC (permalink / raw)



[Apologies to those who get multiple copies of this announcement]

		 Announcing a Mailing List Devoted to

	  Validation and Verification of Large Simulations.


Clemson University's Department of Computer Science is hosting a
mailing list on the validation and verification of large scale
scientific and engineering simulations. There are two notable
projects to think about: (1) The Comprehensive Test Ban Treaty
forbids the explosion of nuclear devices for testing; therefore, the
nuclear arsenal certification will be by simulation. (2) The success
of the development of the Boeing 777.

Clemson is very active in computational science and engineering. Now
that many industries are turning to simulation as a cost-effective
method of doing research, those same companies must answer two
questions:

	1. Did we ask the right questions?
	2. Did we code the answers to the questions right?

The first question is answered by validation; the second by
verification.

The purpose of the Validation and Verification mailing list is to
provide
a meeting place and forum for industry, government, and academic workers
to discuss the methods and problems of validation and verification
(V&V).
To subscribe, send an email message to

		       majordomo@cs.clemson.edu

There is no subject, but the first line of the body should be
		subscribe ivandv <your email address>
You will return a short introduction to the list and the basic commands
for
dealing with majordomo. For your convenience, the three commands you
need:

    subscribe <list> [<address>]
	Subscribe yourself (or <address> if specified) to the named <list>.
	
    unsubscribe <list> [<address>]
	Unsubscribe yourself (or <address> if specified) from the named <list>.
	"unsubscribe *" will remove you (or <address>) from all lists.  This
	_may not_ work if you have subscribed using multiple addresses.

    help
	Retrieve an explanation of commands.

The list is currently moderated by me only until it gets active enough
that
initial problems are ironed out. I am not acting as a filter (but keep
it clean),
but as a facilitator.

Please join today and be an active participant.

Steve Stevenson,
steve@cs.clemson.edu

-- 
Best regards,

steve
-----
Steve (really "D. E.") Stevenson           Assoc Prof
Department of Computer Science, Clemson,   (864)656-5880.mabell
Homepage:  http://www.cs.clemson.edu/~steve/
Wanted: Sterbenz, P. Floating Point Computation




^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~1998-02-05  0:00 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1998-02-05  0:00 Announcing new validation and verification mailing list Steve Stevenson

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox