Forwarded message from [wrobinson@gsu.edu] sent originally on Fri, 24 Mar 2000 10:41:17 -0500: : 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, 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 : : ADVERTIZING CHAIR : William N. Robinson, wrobinson@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. : : ===== Start of ISWorld List Footer ===== : ISWorld list is a service of the Association for Information Systems (AIS) : (http://www.aisnet.org) hosted at University College Dublin. For archives, : subscribing, or posting "norms" see http://www.isworld.org/isworldlist : ===== End of ISWorld List Footer =====

-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html