[Prev][Next][Index]
ANSI Standards for formal description techniques
-
To: larch-interest
-
Subject: ANSI Standards for formal description techniques
-
From: leavens@bambam.cs.iastate.edu (Gary Leavens)
-
Date: Mon, 22 Nov 93 14:40:58 CST
-
Delivery-Date: Mon, 22 Nov 93 12:48:43 -0800
I found this on the comp.specification newsgroup. You'll note
that X3 is considering standardizing VDM-SL and Z, but not Larch.
I don't plan to make this meeting, but perhaps someone from the
Larch community should go.
Gary Leavens
229 Atanasoff Hall, Department of Computer Science
Iowa State University, Ames, Iowa 50011-1040 USA/leavens@cs.iastate.edu
phone: (515) 294-1580 fax: (515) 294-0258 ftp site: ftp.cs.iastate.edu
X3 Announces The Formation of a New Technical Committee,
X3J21-Formal Description Techniques (FDTs)
Washington, DC - Accredited Standards Committee X3, Information
Processing Systems announces the formation of a new Technical
Committee, X3J21, Formal Description Techniques (FDTs).
The new technical committee, X3J21, was established to assume JTC
1 TAG responsibilities for the SC22 TAG projects on Formal
Description Techniques (FDTs). These projects currently are JTC
1.22.29, Vienna Definition Method Specification Language (VDM-SL)
and JTC 1.22.45, Z Specification Language (Z).
The TAG responsibilities include establishing U.S. positions to
be taken internationally, recommending U.S. votes on New Work
Items and Draft International Standards, selecting U.S.
delegations to international meeting, and others.
Any individuals or organizations who are interested in the work
of X3J21 are invited to participate.
The organizational meeting of X3J21 is scheduled to begin at
10:00 am on Sunday, January 9, 1994 at the Clarion Plaza Hotel in
Orlando, Florida.
The Clarion Hotel is located at 9700 International Drive,
Orlando, Florida 32819-8114; the hotel phone number is 407-352-
9700 or 800-366-9700; the hotel fax is 407-351-9111.
Reservations at government rates need to be made by December 9,
1993.
For further information, please contact:
Dr. Bill Harvey, Convener
Instritute for Information Management
Robert Morris College
Narrows Run Road
Coraopolis, PA 15108-1189
Voice: (412) 262-8467
Fax: (412) 262-8483 or (412) 262-4049
Email: harvey@rmcnet.robert-morris.edu
Ms. Kathleen McMillan
X3 Secretariat
125O Eye Street, NW.
Suite 200
Washington, DC 20005-3922
(202) 626-5742