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)