[Prev][Next][Index]

FWD: call for papers on formal methods and standards


------- Forwarded Message

From: haim@dancer.cc.bellcore.com (kilov,haim)
Date: 15 Apr 1994 17:50:48 -0400
Subject: call for papers on formal methods and standards
Newsgroups: comp.specification,comp.specification.z,comp.object,comp.software-eng,comp.std.internat

A special issue of "Computer Standards and Interfaces"
on formal methods and standards

Formal description techniques are used in standards development.
Some standards use formal methods for definitions; some standards
define formal notations; some standards use formal methods
informally to benefit understanding of their definitions.

Papers are solicited on "why", "what", and "how":

% why formal methods are important for standards,
% what formal notations are widely used (and standardized), and
% how formal methods are used in various standardization activities.

The emphasis will be on describing semantics rather than syntax.
Obviously, the papers should relate to current or recent
standardization activities (not necessarily in their final form).

The papers will be reviewed. Accepted papers in their final form
will be published in the Special Issue (September 1995).

Dates:

Submission: not later than November 15, 1994.
Notice of acceptance/rejection: January 1, 1995.
Final submission: March 15, 1995.

The final submission should include an abstract, keywords, authors'
photos and bios, artwork, etc. The author(s) will receive page proofs
returnable to the Publisher. Electronic submission (ascii, postscript)
is acceptable; however, the final papers should be in hardcopy or in
ascii, with figures, tables, etc., each on a separate page.

The principal author of an accepted paper will receive free of charge
50 reprints of the paper.


Papers should be submitted to the Special Issue Editor:

Haim Kilov
Bellcore, MRE-2F049
445 South Street
Morristown, NJ 07960
haim@cc.bellcore.com


------- End of Forwarded Message