Tenth International Workshop on Software Specification and Design (IWSSD-10) 5-7 November 2000, Shelter Island, San Diego, California 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, fickas@cs.uoregon.edu University of Oregon, Eugene, USA Program Co-Chairs Paola Inverardi, inverard@univaq.it Università dell¹Aquila, Italy Debra Richardson, djr@ics.uci.edu University of California, Irvine, 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. 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 soon from the IWSSD web site.