Call for papers: 10th IEEE INTERNATIONAL WORKSHOP on SOFTWARE SPECIFICATION and DESIGN

[William N. Robinson]

TENTH IEEE INTERNATIONAL WORKSHOP on
SOFTWARE SPECIFICATION and DESIGN
(IWSSD-10)
5-7 November 2000, Shelter Island, San Diego, California
http://www.ics.uci.edu/iwssd

Does the future hold any prospect for software specification and design?
Is there benefit to investigating methods, tools, and formalisms for
specification and design?
Will such investigation contribute anything substantial to the practice of
software engineering?
Is there still reason to bring together researchers in requirements, design,
software architecture, formal methods, real-time, concurrent & distributed
systems?
Is there vital purpose to using early lifecycle system abstractions for
quality verification & validation, behavior prediction, and quantitative
evaluation?
We think so ... submit a paper, and come find out.

***************************
Papers due 1 May 2000
***************************

The International Workshop on Software Specification and
Design (IWSSD) is a leading international forum for research
on requirements specification and design methods, software
architecture, concurrent, distributed and real-time systems,
and formal models. The workshop has succeeded in combining a
widely cited and prestigious forum for publication with an
informal, yet focused, setting for discussions. The 10th
International Workshop on Software Specification and Design
(IWSSD-10) will be held at the Shelter Pointe Hotel and
Marina on Shelter Island in the San Diego Harbor. Following
workshop tradition, this meeting's timing and location will
give researchers the opportunity to complement a major
conference, the Eight Symposium on Foundations on Software
Engineering (FSE-8) with a high-quality research workshop.

GENERAL CHAIR
Steve Fickas, fic...@cs.uoregon.edu
University of Oregon, Eugene, USA

PROGRAM CO-CHAIRS
Paola Inverardi, inve...@univaq.it
Università dell'Aquila, Italy

Debra Richardson, d...@ics.uci.edu
University of California, Irvine, USA

ADVERTIZING CHAIR
William N. Robinson, wrob...@gsu.edu
Georgia State Univeristy, Atlanta, USA

PROGRAM COMMITTEE

Ugo Buy, USA
Elisabetta Di Nitto, Italy
Matthew Dwyer, USA
Steve Easterbrook, Canada
Martin Feather, USA
Jose Fiadeiro, Portugal
Anthony Finkelstein, UK
Mats Heimdahl, USA
Connie Heitmeyer, USA
Daniel Jackson, USA
Jeff Magee, UK
Motoshi Saeki, Japan
Wilhelm Schaefer, Germany
Dave Wile, USA
Daniel Yankelevich, Argentina

CALL FOR PAPERS

The purpose of the IWSSD series is to explore major trends and
key issues in the specification and design of software
systems. The tenth workshop, like its predecessors, seeks to
provide a forum in which proponents of and experimenters with
different theories, methods, and techniques can interact in an
informal yet focused setting. The program will be organized
around parallel working groups and plenary sessions to report on
progress made within each group. Attendance is limited, by
invitation only based on paper submission.

The IWSSD program committee is requesting papers outlining novel
positions, technical research or experience. Contributions are
sought across the broad range of work in software specification
and design. Submitted papers should make a case for the
significance and originality of the work and clearly describe
(preliminary) results, infrastructure or exploratory studies on
which the work is based. Of particular interest is the rationale
underlying the work, particularly if it identifies gaps in
research or difficulties not yet well understood. Papers should
not exceed eight pages, including figures. Submissions will be
refereed, and a selection will be included in the workshop
proceedings. Technical papers will be evaluated for originality,
significance, soundness and clarity. Experience papers will be
evaluated for significance of the lessons and insight gained from
exploring advanced methods and techniques. Position papers will
be evaluated for their reasoned presentation of a point of view
pertinent to workshop themes. The best technical and experience
papers may be considered for publication in a special issue of a
major software engineering journal.

Focus of the Workshop

The focus of IWSSD is on the current state of the art and future
opportunities for software tool support in each of the following
areas:

* REQUIREMENTS ENGINEERING: elicitation, formal and conceptual modeling,
domain analysis, scenario-based analysis, viewpoints, traceability,
simulation, and prototyping.
* DESIGN ENGINEERING: method definition and integration, design processes and
strategies, derivation of designs from requirements,
co-design. composition/decomposition, domain-specific architectures,
interoperability, integrating non-functional properties, evolution and
refinement.
* VERIFICATION and VALIDATION: formal methods, model checking,
specification-based testing and analysis, quality attributes, quality
control and assurance, dependability.
* REAL-TIME, CONCURRENT and DISTRIBUTED SYSTEMS: capturing and formalizing
temporal constraints, logics of time, semantics of concurrency,
specification/analysis of concurrent systems, decomposition and distribution
techniques and strategies.

A common case study will be used to drive the program. (See
http://www.ics.uci.edu/iwssd/case-study.pdf). Prospective participants are
strongly encouraged, though not strictly required, to use this case study in
support of their submission. Full treatment of the case study may be included
as an appendix to a submitted paper. The case study is available as ascii,
word, pdf, or postscript. Comments and additional information on the case
study will be periodically updated on a related notes page.

SUBMISSION GUIDELINES

Papers must be submitted by 6 AM PST, Monday, May 1, 2000. The submission
process will be carried out electronically via the Web.

Papers should be 5-8 pages in camera-ready form, including figures and
references. An appendix of up to 5 pages may be provided which provides
detailed application to the case study. All submissions must be in English.
Authors of accepted papers will be required to sign IEEE copyright release
forms. PAPERS must be prepared in IEEE Conference Proceedings format.

Electronic Submission (required). You must submit your paper using IWSSD's
Electronic Submission site. All papers must be submitted as either PostScript
documents, interpretable by Ghostscript, or in PDF format, and must be
printable on both USLetter and A4 paper. (Those individuals for which this
requirement is a hardship should contact the program chair(s).) More details
concerning submission guidelines and the submission process will be available
from the IWSSD web site.

--
Bill
William N. Robinson
http://cis.gsu.edu/~wrobinso/ wrob...@gsu.edu
Voice: Office (404) 651-3867; Dept: (404) 651-3880; FAX: (404) 651-3842
Computer Information Systems Dept., J. Mack Robinson College of Business
Georgia State University, Atlanta, GA 30302-4015