rodrique@hplabsz.HPL.HP.COM (Mike Rodriquez) (03/24/88)
- - - -
CALL FOR PAPERS AND REFEREES
HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES - 22
Testing, Verification, and Validation of Software
KAILUA-KONA, HAWAII-JANUARY 3-6, 1989
The Software Track of HICSS-22 will contain a special set of
papers focusing on a broad selection of topics in the area
of Testing, Verification & Validation of Software. These
papers will bring together experience of software practi-
tioners in safety-critical environ- ments, such as process
and nuclear industry, tele- communications, defense and
other mission critical systems, to produce increasingly
error-free software.
Papers are invited that may be theoretical, conceptual, tu-
torial or descriptive in nature. Those papers selected for
presentation will appear in the Conference Proceedings which
is published by the Computer Society of the IEEE. HICSS-22
is sponsored by the University of Hawaii in cooperation with
the ACM, the Computer Society, and the Pacific Research In-
stitute for Information Systems and Management (PRIISM).
Submissions are solicited in:
o Correctness proofs
o Intercomparison
o Program testing strategies
o Program validation
o Program verification
o Quality assurance
o Quality control
o Quality engineering
o Reliability
o Reviews & audits
o Standardization
o Test case generation
o Testing & debugging
INSTRUCTIONS FOR SUBMITTING PAPERS
Manuscripts should be 22-26 typewritten, double spaced pages
in length. Do not send submissions that are significantly
shorter or longer than this. Papers must not have been pre-
viously presented or published, nor currently submitted for
journal publication. Each manuscript will be put through a
rigorous refereeing process. Manuscripts should have a ti-
tle page that includes the title of the paper, full name of
its author(s), affiliation(s), complete physical and elec-
tronic address(es), telephone number(s) and a 300-word ab-
stract of the paper.
DEADLINES
o A 300-word abstract is due by March 30, 1988
o Feedback to author concerning abstract by April 15,
1988
o Six copies of the manuscript are due by June 6, 1988
o Notification of accepted papers by September 1, 1988
o Accepted manuscripts, camera-ready, due by October 3,
1988
SEND SUBMISSIONS AND QUESTIONS TO:
Prof. Bjorn Cronhjort
Royal Institute of Technology
Department of Automatic Control
S-100 44 Stockholm
Sweden
Telephone: +46 8 6675456
Facsimile: +46 8 6616735
------------------------------------------------------------------------