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 paperswill 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

• 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.
• Software Architecture: architectural models, role of architectures in the software process, 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.

Paper submission is now open

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.

Templates

Electronic Submission (required)

All papers must be submitted either in PDF format, which is prefered, or as PostScript documents, interpretable by Ghostscript, 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).)
 

Announcement and Call for Papers available in ascii, word, pdf, or postscript.
 

General Chair	Program Co-Chairs
Steve Fickas Department of Computer Science University of Oregon, Eugene email:  fickas@cs.uoregon.edu	Paola Inverardi Dipartimento di Matematica Pura ed Applicata Università dellíAquila, Italy email:  inverard@univaq.it	Debra Richardson Department of Information and Computer Science University of California, Irvine email:  djr@ics.uci.edu

Important Dates Abstract submission deadline:  1 May 2000, 6AM PDT Paper submission deadline:  3 May 2000, 6AM PDT Acceptance notification:  15 June 2000 Camera-ready copy due:  15 July 2000 Advance registration:  1 October 2000

Sponsored by

IWSSD Home Page

This page is maintained by Debra J. Richardson.
last updated: 7 February 2000