gerhart@donner.sw.mcc.com (Susan Gerhart) (02/13/89)
Call for Papers
IEEE Software Special Issue:
Applications of Formal Methods
Summary of the Topic
--------------------
Formal Methods are design and construction methods explicit-
ly based on well-defined mathematical formalisms. Examples
are: VDM, Z, box-structures, traces, predicate transformers,
transition systems, axiomatic data types, and many more.
These methods promise (1) better control over the software
development process through clarity and precision of specif-
ication and then of development steps and (2) reduced error
commission and persistence through rigor, systematic review,
and formal verification. Much progress has been made in us-
ing formal methods, developing support systems for them, and
evaluating their applicability on industrially oriented
problems. Applications to critical systems are appearing
world-wide and there is now some commercial interest based
on advances in verifiable execution environments. Several
standards groups are using formal methods and one - VDM - is
undergoing the international standards process.
Content of the Special Issue
----------------------------
IEEE Software attempts to reach practitioners who can bene-
fit from application studies with methods and tools nearing
maturity. Each article in this special issue will describe
an application of formal methods to a specific industrial-
scale problem. Articles are expected to summarize the method
and concentrate on how it was used on the problem. Excluded
from interest are articles that: introduce a new method or
gratuitous variant; apply to only a toy problem (i.e. no
10-line text formatters, trivial elevators, or GCDs); survey
a single field; cannot reveal sufficient data about the ap-
plication to allow evaluation of effectiveness; or emphasize
language semantics over problems. Hardware or mixed hardware
and software applications are welcome as long as the method
has known software applications. Scaled down versions of
industrial sized problems are expected and acceptable,
although scaling up should be addressed.
Submission Procedures
---------------------
3-5 application articles are expected to be published ac-
cording to the usual underline{IEEE Software criteria (20
pages double spaced). A tutorial article is sought, e.g. il-
lustrating at least one method in depth with a comparison
with others. The editor's introduction will compile a list
of applications and sources of other material, e.g. pedagog-
ical material and videotapes. Reviewers are also sought.
Editor:
Susan Gerhart
MCC Software Technology
3500 W. Balcones Dr.
Austin Texas 78759, U.S.A.
Phone: 512-338-3492
Fax: 512-338-3899
e-mail: gerhart@mcc.com
Publication Schedule:
Sept. 1989 Drafts Due
Dec. 1989 Reviews Returned
Feb. 1990 Revisions Due
May 1990 Publication