sjg0@bunny (Sol J. Greenspan) (07/13/88)
CALL FOR PAPERS FIFTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN May 19-20, 1989 Pittsburgh, PA Sponsored by: IEEE Computer Society and ACM SIGSOFT The 5th International Workshop on Software Specification and Design will be held immediately after the 11th International Conference on Software Engineering. The purpose of the workshop is to explore major trends and key issues in the specification and design of software. The series of workshops has sought to provide a forum in which theorists and practitioners can interact in an informal yet focused setting. The workshop will consist of parallel working groups and plenary sessions. Attendance is limited and is by invitation on the basis of a submitted paper. THEMES The workshop has these principal themes: o Specification and design of concurrent/distributed systems: Semantics of concurrency; specification and analysis of concurrency and interaction; the structure of distributed systems. o Specification and design - the effects of complexity and scale: Software architecture for large-scale systems; defining system components and their interfaces; keeping track of architectural interconnections. o Formal specification and derivation: Specification and verification of system properties; transformations in design and implementation. o Functional and non-functional properties of systems: Specifying and reasoning about non-functional properties; design tradeoffs for functionality, performance, useability, etc. o Visualization of system behaviour and structure: Graphical languages for specification and design; animation of system descriptions. o Requirements modelling and conceptual modelling: Knowledge acquisition and representation for specification; domain analysis; the role of AI techniques in conceptual modelling and design re-use. INSTRUCTIONS TO AUTHORS To ensure a coherent and productive workshop, attendance is limited to 80. Acceptance will be based on a submission that addresses relevant topics. Submissions (5 copies) should be sent to the program chair at the address below by October 15, 1988. Authors should take care to explain the relevance of their work to the workshop themes and its theoretical or practical value. Submissions may take three forms: - Full paper (max. 5000 words) discussing novel approaches or substantial experience in detail. - Extended abstract (max. 1200 words) outlining new work or significant experience. - Position paper (max. 1200 words) discussing opinions or research perspectives. Accepted submissions will be further reviewed by the Program Committee for publication in the proceedings of the workshop. IMPORTANT DATES: Oct. 15, 1988 Submission deadline Dec. 15, 1988 Notification of acceptance Feb. 15, 1989 Camera-ready copy due GENERAL CHAIR PROGRAM CHAIR (send submissions here!) Sol J. Greenspan Colin Potts GTE Laboratories Inc. MCC 40 Sylvan Road 9390 Research Blvd. Waltham, MA 02254 Kaleido II Bldg. greenspan@gte.com Austin, TX 78759 potts@mcc.com LOCAL ARRANGEMENTS PUBLICITY Jeannette Wing (US) Ruben Prieto-Diaz (US) PROGRAM COMMITTEE R. Babb (US) D. Marca (US) J. Cameron (UK) R. Mittermeir (Austria) M. Feather (US) D. Perry (US) S. Fickas (US) S. Prehn (Denmark) J-P. Finance (France) G.-C. Roman (US) P. Freeman (US) A. van Lamsweerde (Belgium) C. Green (US) J. Wileden (US) M. Harandi (US) J. Woodcock (UK) D. Harel (Israel) A. Yonezawa (Japan) J.Z. Lavi (Israel) P. Zave (US)