From: avl@info.ucl.ac.be (A. van Lamsweerde)
Newsgroups: news.announce.conferences
Subject: 7th Workshop on Specification & Design
Date: 18 Nov 92 23:33:20 GMT
Expires: Wed, 10 Mar 1993 08:00:00 GMT
Organization: Computer Science Department, Catholic University of Louvain


                    *****************************
		      Call for Papers - IWSSD-7
                    *****************************

 SEVENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN
        6-7 December 1993, Los Angeles area, California, USA

		 Sponsored by IEEE Computer Society,
           with cooperation from ACM Sigsoft (pending)

  IWSSD-7                      PURPOSE                       IWSSD-7
                               -------

The 7th International  Workshop  on Software Specification  and Design
will be held right before ACM SIGSOFT'93.  The purpose of the workshop
is to  explore major  trends and key  issues in the  specification and
design  of  software systems.  This  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 workshop will  consist  of parallel working
groups  and plenary sessions  to report on  progress  made within each
group. Attendance is  limited and is by  invitation on the  basis of a
submitted paper.  The submissions will enable the Program Committee to
assess the authors'  interest in  and  potential contributions to  the
workshop.  The submissions will be refereed and a select group will be
included in  the  workshop proceedings.       Technical papers will be
evaluated  against originality,  significance, soundness  and clarity.
Experience  papers  will  be  evaluated  against  significance of  the
lessons and insight  gained  from  experiencing  advanced methods  and
techniques.     Position  statements will  be evaluated  against their
reasoned presentation of a point of view pertinent to workshop themes.
Submissions  should have been  neither  published  nor  submitted  for
publication  elsewhere.      The best  papers  will be  considered for
publication  in  a special  issue  of  a  major  Software  Engineering
journal.

  IWSSD-7                      THEMES                        IWSSD-7
                               ------
- Requirements Engineering:
  acquisition and elicitation, formal and conceptual modeling, domain
  analysis, reuse, verification, prototyping, etc.

- Real-time Systems:
  capturing and formalizing temporal constraints, logics of time,
  specification and design strategies, etc.

- Concurrency and Distribution:
  semantics of concurrency, specification and analysis of concurrent
  and/or reactive systems, parallelization, decomposition and
  distribution techniques and strategies, etc.

- Formal Reasoning:
  formal expression, verification and derivation of specification
  products and processes, of design products and processes.

- Design Methods and Software Architectures:
  models of software architecture, design processes and strategies,
  derivation of designs from requirements, transformation of
  specifications and designs, etc.



  IWSSD-7            INSTRUCTIONS TO AUTHORS                 IWSSD-7
                     -----------------------
To ensure a coherent and productive workshop, attendance is limited to
80  participants.   Since the workshop seeks to bring together a well-
balanced combination  of people with diverse interests and experiences
relating  to software specification  and design,  papers and  position
statements are  solicited from formalists,  methodologists, developers
and  practitioners  in  both  academia  and industry.  For  additional
information please contact the Program Chairs.

Submissions (5 copies) should be sent to M. FEATHER  by 10 March 1993.
They may take two  forms:   Technical or Experience paper  (max.  5000
words)  or Position  statement  (max. 2000  words).    All submissions
should identify the theme(s) that they  address, and be accompanied by
a cover sheet identifying the form of submission (Technical/Experience
/Position) and the  author(s)' full contact details including  e-mail,
phone and fax.

IMPORTANT DATES
  Papers Due:                                   March 10, 1993
  Notification of Acceptance and invitation:    June 10, 1993
  Camera-Ready Paper Due:                       September 15, 1993


    IWSSD-7                                             IWSSD-7
			    GENERAL CHAIR
			     Jack Wileden
		     Computer Science Department
		     University of Massachusetts
			   Amherst MA 01003
				 USA
			  jack@cs.umass.edu

			    PROGRAM CHAIRS
         Martin S. Feather                 Axel van Lamsweerde
   Information Sciences Institute          Unite d'Informatique
         4676 Admiralty Way               University of Louvain
      Marina del Rey CA 90292              Place Sainte Barbe 2
              USA                        B-1348 Louvain-la-Neuve
       Tel: +1 310 822 1511                      BELGIUM
       Email: feather@isi.edu             Email: avl@info.ucl.ac.be

			  PROGRAM COMMITTEE

R.G. Babb (USA)         D. Garlan (USA)          C. Potts (USA)
D. Barstow (France)     M.C. Gaudel (France)     G.C. Roman (USA)
D. Berry (Israel & USA) C. Ghezzi (Italy)        W. Schaefer (Germany)
M. Broy (Germany)       S. Greenspan (USA)       M. Shaw (USA)
U. Buy (USA)            C. Heitmeyer (USA)       J.T. Udding
S. Fickas (USA)         R. Kurki-Suonio (Finland)    (The Netherlands)
J.P. Finance (France)   N. Leveson (USA)         A.L. Wolf (USA)
A. Finkelstein (U.K.)   M. Moriconi (USA)        J.C. Woodcock (U.K.)
K. Futatsugi (Japan)    D. Perry (USA)           A. Yonezawa (Japan)