[Prev][Next][Index]

ANSI Standards for formal description techniques

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