ICSE-16 Advance Program (May 94, Sorrento, Italy)

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@ ICSE-16 @
@ 16th International Conference on SOFTWARE ENGINEERING @
@ @
@ Sorrento Palace Hotel, SORRENTO, Italy @
@ MAY 16-21, 1994 @
@ @
@ ADVANCE PROGRAM @
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@




SPONSORED BY
IEEE Computer Society Technical Committee on Software Engineering
ACM Special Interest Group on Software Engineering
AICA Associazione Italiana per l'Informatica ed il Calcolo Automatico




ORGANIZING COMMITTEE


General Chair
Bruno Fadini, Univ. of Naples Frederico II, ITALY, fadini@vm.cised.unina.it


Program Co-Chairs
Leon Osterweil, University of Massachusetts at Amherst, USA, ljo@cs.umass.edu
Axel van Lamsweerde, Universite de Louvain, BELGIUM, avl@info.ucl.ac.be


Tutorial Co-Chairs
Aniello Cimitile, Univ. of Naples Fred. II, ITALY, cimitile@vm.cised.unina.it
Eugene C. Bounds, Software Engineering Institute, USA, ecb@sei.cmu.edu


Tools Fair Co-Chairs
Alfonso Fuggetta, Politecnico di Milano, ITALY, alfonso@mailer.cefriel.it
Walt Scacchi, University of Southern California, USA, scacchi@gilligan.usc.edu


Publicity Chairs
Genoveffa Tortora, University of Salerno, ITALY, jentor@udsab.dia.unisa.it
Debi Brodbeck, University of California at Irvine, USA, brodbeck@ics.uci.edu


Treasurer and Local Arrangements
Antonio Langella, CRIAI, ITALY




PROGRAM COMMITTEE


          R. Adrion (USA) C. Ghezzi (Italy) D. Perry (USA)
          L. Clarke (USA) R. Jacquart (France) W. Schafer (Germany)
          M. Feather (USA) R. Jeffery (Australia) R. Taylor (USA)
          S.I. Feldman (USA) T. Katayama (Japan) I. Thomas (USA)
          S. Fickas (USA) R. Kemmerer (USA) K. Torii (Japan)
          J.P. Finance (France) B. Lang (France) J. Wing (USA)
          A. Finkelstein (UK) N. Leveson (USA) J.C. Woodcock (UK)
          A. Fuggetta (Italy) T. Maibaum (UK) P. Zave (USA)
          K. Futatsugi (Japan) C. Montangero (Italy)
          D. Garlan (USA) D. Notkin (USA)


=============================================================================


The objective of the ICSE conference series is to foster the development
of the software engineering field by:
- providing a forum for the introduction and discussion of new software
    engineering research results;
- helping practicing software engineers to evaluate ongoing research;
- providing the research community exposure to the problems of practical
    applications of software engineering;
- encouraging the exchange of advanced software technology and experience
    within the international community.


The ICSE series serves as a focal point for software engineers worldwide,
featuring professional activities, opportunities for informal interaction,
and community recognition events.


ICSE-16 continues in that tradition. Professional activities will include
presentations of research papers and experience reports, invited talks,
state of the art reports, panels, tutorials, tools demonstrations, three
interdisciplinary preconference workshops (Software Engineering and Artificial
Intelligence, Software Engineering and Databases, Software Engineering and
Human Computer Interaction), and a postconference workshop on Software
Engineering Education. In addition ICSE-16 will provide a forum for
recognition of community leaders, and for informal exchanges of ideas,
insights and experience, in an inspiring setting overlooking the beautiful
Bay of Naples.
=============================================================================


@@@@@@@@@@@@@@@@@@@@@@@@
@@ @@
@@ TUTORIAL PROGRAM @@
@@ @@
@@@@@@@@@@@@@@@@@@@@@@@@


MONDAY - MAY 16, 1994


****************************************************************************


TUTORIAL 1: SOFTWARE REENGINERING (full-day)


This tutorial has three goals: (1) acquaint the attendee with the current
(1993-94) software reengineering technologies, (2) teach how to make an
informed selection of software reengineering strategies and tools, and
(3) give examples of applying these technologies to real life problems.
The tutorial will emphasize both the conceptual basis for, and practical
application of software reengineering.


TUTOR:
Robert S. Arnold, President of Software Evolution Technology (SEVTEC),
Herndon, Virginia, USA.
-----------------------------------------------------------------------------


TUTORIAL 2: PROCESS-CENTERED SOFTWARE ENGINEERING ENVIRONMENTS (full-day)


This tutorial will present the current state of the art and practice in the
area of Process-Centered Software Engineering Environments (PSEEs).
PSEEs represent the evolution of software development environments towards
maturity. They make it possible to capture not only the products of the
software development effort but also the processes used to produce those
products. The tutorial presents a comprehensive picture of this emerging area,
highlighting the key concepts, formalisms, architectures and issues.


TUTORS:
Pankaj Garg and Mehdi Jazayeri, Hewlett-Packard Laboratories, Palo Alto,
California, USA.
-----------------------------------------------------------------------------


TUTORIAL 3: A METHODOLOGY FOR SOFTWARE QUALITY METRICS (half-day: AM)


This tutorial will explain how to implement a software quality metrics program.
Practicing software engineers and managers who are inexperienced in designing
and implementing a metrics plan may learn how to define, collect, compute,
validate and apply metrics to quality assessment, control, and prediction
across multiple projects. A comprehensive case study will be used to support
attendee learning.


TUTOR:
Norman F. Schneidewind, Fellow of IEEE, Naval Postgraduate School, Monterey,
California, USA.
------------------------------------------------------------------------------


TUTORIAL 4: OBJECT - ORIENTED SOFTWARE ENGINEERING:
A USE CASE DRIVEN APPROACH (half-day: PM)


This tutorial will introduce a process for object-oriented development and
maintenance of software products. The process has evolved over 25 years and
has been used in many different application areas and organizations.
Participants will learn how Use Cases, meg-objects and layered object
structures can support their architecture. Specialization of the approach for
different programming environments and databases will be explained.


TUTOR:
Ivar Jacobson, Objective System, Greenwich, Sweden.


******************************************************************************


TUESDAY - MAY 17, 1994


******************************************************************************


TUTORIAL 5: THE EXPERIENCE FACTORY - HOW TO BUILD AND RUN ONE (full-day)


This tutorial will present the fundamental concepts behind software process
and product improvement using measurement and evaluation in an Experience
Factory Organization. It will provide a set of examples associated with
understanding the software engineering process, product and environment,
improving them over time and packaging experience in the form of models and
measures to create an experience base that can be reused in future projects.


TUTORS:
Victor R. Basili, University of Maryland, College Park, Maryland
Frank E. McGarry, head, SE NASA/Goddard SFC, Greenblet, Maryland
Dana L. Hall, SAIC, McLean, Virginia, USA.
-----------------------------------------------------------------------------


TUTORIAL 6: THE CAPABILITY MATURITY MODEL (half-day: AM)


This tutorial provides an overview of the work being done at SEI on the
capability maturity model. The bulk of the discussion will be on understanding
the five maturity levels and the key process areas that characterize them.
The Tutorial is based on Version 1.1 of the CMM, released in February 1993.


TUTOR:
Mark C. Paulk, SEI Carnegie Mellon University, Pittsburgh, PA, USA.
------------------------------------------------------------------------------


TUTORIAL 7: ECMA PCTE - THE STANDARD INTERFACE FOR
DISTRIBUTED SOFTWARE ENGINEERING ENVIRONMENTS (half-day: AM)


This tutorial presents the PCTE (Portable Common Tools Environment) standard
and shows how it provides a flexible basis for integrating a software
engineering environment which facilitates both portability and integration of
tools across a variety of hardware and operating systems, encompassing in
particular local area networks, file servers and graphical workstations.


TUTOR:
Regis Minot, Emeraude, Vice-Chairman ECMA TC33, Saint Cloud-Cedex, France.
------------------------------------------------------------------------------


TUTORIAL 8: INTRODUCTION TO ISO 9000 STANDARD SERIES FOR
                            SYSTEMS AND SOFTWARE (half-day: PM)


This tutorial will introduce ISO 9000. In particular it will describe the
standards applicable to the system and software industry (ISO 9001 and
ISO 9000-3) and their impact on the products and processes of that industry.
The tutorial will cover three major topics: a general introduction to the
standards, a discussion of the options for their implementation and a case
study.


TUTOR:
Gianluigi Caldiera, University of Maryland, USA.
------------------------------------------------------------------------------


TUTORIAL 9: Z FOR SOFTWARE ENGINEERS (half-day: PM)


This tutorial will present the role of formal methods in software engineering
starting from the many experiences of using formal methods in industrial
projects. In particular, the tutorial will introduce mathematical notation,
elements of Z and the use of Z specifications, highlighting costs and benefits
of adopting formal methods.


TUTOR:
Anthony Hall, PRAXIS, Bath, UK.


******************************************************************************


@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@ @
@ CONFERENCE PROGRAM @
@ @
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@


WEDNESDAY - MAY 18, 1994


08.45 - 09.15 Welcome and Opening Remarks


09.15 - 10.30 KEYNOTE ADDRESS:
                                    Foundations for Software: Formal or Conceptual?
                                    Robin Milner, University of Edinburgh


11.00 - 12.30 SESSION 1A: EXPERIENCES WITH FORMAL REPRESENTATIONS OF SOFTWARE


                                    Lessons from Using Basic LOTOS
                                    M.A. Ardis (AT&T Bell Labs)


                                    A Formal Approach to Determining Parallel Resource Bindings
                                    K. Keane (Univ. Manchester) and W. Hussak (Univ.Loughborough)


                                    The Use of Description Logics in KBSE Systems
                                    P. Devanbu and M.A. Jones (AT&T Bell Labs)


                                SESSION 1B: UNDERSTANDING COMPLEX SYSTEMS


                                    Comprehension Processes During Large Scale Maintenance
                                    A. von Mayrhauser and A.M. Vans (Colorado State University)


                                    On the Inference of Configuration Structures from Source Code
                                    M. Krone and G. Snelting (Technische Univ. Braunschweig)


                                    Visualizing Software Systems
                                    M.J. Baker and S.G. Eick (AT&T Bell Labs)


12.30 - 14.00 Lunch


14.00 - 15.30 SESSION 2A: SOFTWARE ARCHITECTURES


                                    Formalizing Architectural Connection
                                    R. Allen and D. Garlan (Carnegie Mellon University)


                                    SAAM: A Method for Analyzing the Properties of Software
                                                Architectures
                                    R. Kazman (Univ. Waterloo), L. Bass, G. Abowd (CMU) and
                                    M. Webb (Texas Instruments)


                                    Storing and Retrieving Software Components:
                     Preliminary Implementation
                                    A. Mili, R. Mili (Univ. Ottawa) and R. Mittermeir (Univ.
                                    Klagenfurt)


                                SESSION 2B: MEASUREMENT AND EVALUATION


                                    An Experiment to Assess Different Defect Detection Methods
                                     for Software Requirements Inspection
                                    A. Porter (Univ. Maryland) and L.G. Votta (AT&T Bell Labs)


                                    An Instrument Approach to Improving Software Quality
Through Formal Technical Review
                                    P. Johnson (University of Hawaii)


                                    A Programmer Performance Measure Based on Programmer State
   Transitions in Testing and Debugging Process
                                    Y. Takada (Osaka Univ.), K. Matsumoto and K. Torii (Nara
                                    Inst. Science & Technology)


16.00 - 17.30 PLENARY SESSION


                                    Best Paper of ICSE-6: Award and Invited Presentation:
                                          On Formal Requirements Modelling Languages
                                          S.J. Greenspan (GTE Labs), J. Mylopoulos (Univ. Toronto)
                                          and A. Borgida (Rutgers Univ.)


                                    IEEE Awards: Presentations
                                    Process Improvement Award: Announcement


                                    Tribute to A. Nico Habermann


18:00 - 20.00 Welcome Reception


******************************************************************************


THURSDAY - MAY 19, 1994


09.15 - 10.30 INVITED TALK:
                                    Software Understanding for Reengineering
                                    Raj Reddy, Carnegie Mellon University


11.00 - 12.30 SESSION 3A: PROCESS MODELLING


                                    Understanding "Why" in Software Process Modelling, Analysis,
     and Design
                                    E.S. Yu and J. Mylopoulos (University of Toronto)


                                    Software Process Description using LOTOS and its Enaction
                                    K. Yasumoto, T. Higashino and K. Taniguchi (Osaka University)


                                    A Paradigm for Decentralized Process Modeling and its
Realization in the OZ Environment
                                    I.Z. Ben-Shaul and G.E. Kaiser (Columbia University)


                                SESSION 3B: SOFTWARE TESTING I


                                    Experiments on the Effectiveness of Dataflow- and
Controlflow-Based Test Adequacy Criteria
                                    M. Hutchins, H. Foster, T. Goradia and T. Ostrand (Siemens
Research)


                                    A Framework for Evaluating Regression Test Selection
                                    Techniques
                                    G. Rothermel and M.J. Harrold (Clemson University)


                                    TestTube: A System for Selective Regression Testing
                                    Y. Chen, D.S. Rosenblum and K. Vo (AT&T Bell Labs)


12.30 - 14.00 Lunch


14.00 - 15.00 SESSION 4A: STATE OF THE ART REPORT
                                    Formal Specification Techniques
                                    Marie-Claude Gaudel, Universite de Paris-Sud a Orsay


                                SESSION 4B: STATE OF THE ART REPORT
                                    Configuration Management
                                    Alexander L. Wolf, University of Colorado at Boulder


15.00 - 16.00 SESSION 5A: SOFTWARE TESTING II


                                    The Role of Testing Methodologies in Open Systems Standards
                                    G. Deshmukh, R. Deshpande, J. Leathrum and K. Liburdy
                                    (Clemson University)


                                    Automated Construction of Testing and Analysis Tools
                                    P. Devanbu, D.S. Rosenblum (AT&T Bell Labs) and A.L. Wolf
(Univ. of Colorado)


                                SESSION 5B: STATE OF THE ART REPORT
                                    Distributed Software Engineering
                                    J. Kramer, Imperial College


16.30 - 18.00 SESSION 6A: PANEL
                                    Software Reuse, Facts and Myths


                                        Organizer: K. Wentzel (Hewlett-Packard)
                                        Panelists: V. Basili (University of Maryland),
M. Griss (Hewlett-Packard),
M. Wasmund (IBM Germany),
   other panelists yet to be confirmed


                                SESSION 6B: PANEL
                                    Practical Experience with Formal Methods


                                        Organizer: M. Thomas (Praxis and Formal Methods Europe)
                                        Panelists: yet to be confirmed


20.00 Gala Dinner


*****************************************************************************


FRIDAY - MAY 20, 1994


09.15 - 10.30 INVITED TALK:
                                    Software Geriatrics: A Challenge to a Maturing Profession
                                    David Lorge Parnas, McMaster University


11.00 - 12.30 SESSION 7A: REAL-TIME AND DISTRIBUTED SYSTEMS


                                    A Periodic Object Model for Real-Time Systems
                                    H.R. Callison (University of Washington)


                                    Experience with the Development of Hard Real-Time Embedded
       Ada Software
                                    T. Vardanega (European Space Agency)


                                    An Integrated Method for Effective Behaviour Analysis of
Distributed Systems
                                    S.C. Cheung and J. Kramer (Imperial College)


                                SESSION 7B: PROCESS ANALYSIS AND IMPROVEMENT


                                    Software Process Improvement Experience in the DP/MIS
Function
                                    A. Johnson (Corning)


                                    What Small Businesses and Small Organizations Say About
   the CMM
                                    D.L. Johnson and J.G. Brodman (LOGOS International)


                                    The SMART Approach for Software Process Engineering
                                    P. Garg, T. Pham, G. Thunquest (Hewlett-Packard), P. Mi and
W. Scacchi (University of Southern California)


12.30 - 14.00 Lunch


14.00 - 15.30 PLENARY SESSION: REPORTS ON ICSE-16 PRE-CONFERENCE WORKSHOPS


                                    Software Engineering and Artificial Intelligence
                                    S. Fickas (Univ. of Oregon) and P. Selfridge (AT&T Bell Labs)


                                    Software Engineering and Databases
                                    R. King (University of Colorado)


                                    Software Engineering and Human-Computer Interaction
                                    R.N. Taylor (University of California Irvine) and J. Coutaz
(IMAG Grenoble)


16.00 - 17.30 SESSION 8A: PANEL
                                    Software Architecture: Practice, Potential, and Pitfalls


                                        Organizers: D. Garlan (Carnegie Mellon University) and
                                                                D. Perry (AT&T Bell Labs)
                                        Panelists: R. Balzer (Information Sciences Institute),
                                                 B. Boehm (University of Southern California),
S. Feldman (Bellcore),
J. Kramer (Imperial College).


                                SESSION 8B: PANEL
                                    Software Quality Improvement Experiences


                                        Organizer: B. Scialpi (Finsiel)
                                        Panelists: G. Koch (ESI and 2i CONSULT),
J. Salasin (Arpa),
T. Katsoulakos (Lloyd's Register),
B. Curtis


17.30 END OF CONFERENCE


Post-conference Workshop on Software Engineering Education starts
Saturday at 9.00.


*****************************************************************************


@@@@@@@@@@@@@@@@@@@@@@@@
@ @
@ WORKSHOP PROGRAM @
@ @
@@@@@@@@@@@@@@@@@@@@@@@@




SOFTWARE ENGINEERING & ARTIFICIAL INTELLIGENCE


MAY 16 -17, 1994




The purpose of this workshop is to make a realistic assessment of the
availability and applicability of Artificial Intelligence techniques to
address critical Software Engineering problems in understanding, developing
and maintaining complex software systems, and to identify areas for
improvement. The workshop will center on the following seven areas:


- Knowledge representation (as it relates to all levels of software
    development).
- Knowledge acquistion (as it relates to requirements engineering).
- Knowledge-based reverse engineering.
- Knowledge-based reuse.
- Program synthesis.
- Knowledge-based software processes.
- Knowledge-based testing.


The format of the workshop will be on focused presentations from groups of
researchers and practioners working in these seven areas. The goal of these
presentations is to assess where we are now and what future directions look
most fruitful. Results from the workshop will be presented during a special
plenary session of the ICSE-16 conference.


Those attending ICSE-16 who have an interest in attending the SE&AI workshop
should contact either of the workshop co-chairs:


        Steve Fickas, University of Oregon Peter Selfridge, AT&T Bell Labs
        Email: fickas@cs.uoregon.edu Email: pgs@research.att.com
        Tel: +1-505-346-3964 Tel: +1-908-582-6801


-------------------------------------------------------------------------------


SOFTWARE ENGINEERING AND HUMAN-COMPUTER INTERACTION


MAY 16 -17, 1994


Software Engineering and Human-Computer Interaction have much to do with each
other, but their respective research communities typically have little
interaction. The purpose of this workshop is to explore the intersections of
these areas, determining what each community has to offer the other as well as
to identify and address open problems of mutual interest. We hope to not only
assess the state of the art in relevant sub-areas, but to also develop the
nucleus of a research agenda that spans both communities.
Topics of interest include:


- Cost drivers.
- Current products.
- Prototyping of user interface software.
- Requirements for user interfaces.
- Formal methods and specifications.
- Testing and Evaluation.
- Design and development processes and tools.
- Architectures for user interfaces.
- User interface technologies and software environments.
- CHI and CSCW concerns.
- Toolkits.


Core attendance at the workshop will be from those who have submitted papers.
Additional attendees are welcome up to attendance limit. Some of the selected
position papers will appear along with several invited papers in a volumeto be
published after the meeting. The goal of the workshop is to have discussions,
however, and not paper presentations. Results from the workshop will be
presented during a special plenary session of the ICSE-16 conference.


For more information please contact either of the workshop co-chairs:


        Richard N. Taylor, University of California at Irvine
        Email: taylor@ics.uci.edu, Fax: +1-714-856-4056


        Joelle Coutaz, IMAG Grenoble
        Email: joelle@imag.fr


------------------------------------------------------------------------------


DATABASES AND SOFTWARE ENGINEERING


MAY 16 -17, 1994


In 1989, a workshop was held in Napa, California. The meeting brought together
database and software engineering researchers, and resulted in lively
discussions concerning research issues of interest to both software engineering
and database researchers. This workshop is, in a sense, meant to be a sequel to
the Napa Workshop. We hope to not only assess the state of the art in this
research specialty, but to also develop the nucleus of a research agenda that
spans both communities. Topics of interest include:


- Databases for supporting the implementation of software environments.
- Actual, running applications of database technology to software engineering.
- Descriptions of on-going collaborations among database researchers,
    software engineering researchers, and practitioners.
- Software environment and database interoperability.
- Application of rule databases and object bases to software environments.
- Requirements for software environment databases.
- Analysis by software engineers of the usefulness of the current object-
    oriented prototypes and products.
- Extended transaction models for environments.
- Mediating between databases and file-oriented tools.


Attendance at the workshop will be by invitation only. There is a possibility
that others may be admitted on-site, if there is space available. There will be
a proceedings published. It will include selected position papers, as well as
brief reports written by the committee and selected workshop participants. The
goal of the reports will be to isolate specific areas of common interest
between software engineering and database researchers, and to suggest critical
and promising topics of research. Results from the workshop will be presented
during a special plenary session of the ICSE-16 conference.


For more information please contact the workshop chair:


Roger King, University of Colorado
                Email: roger@cs.colorado.edu


------------------------------------------------------------------------------


SOFTWARE ENGINEERING EDUCATION


MAY 21, 1994


This workshop reflects the importance of software engineering education and the
challenges of effective teaching and training. The workshop will bring together
educators, researchers and industrial organisations with an interest in the
broad area of software engineering education for informed discussion, debate,
exchange of experience and up-dating. The workshop will be of particular
interest to software engineers in higher education who coordinate, give, or are
likely to give software engineering courses at introductory, intermediate or
advanced level. The workshop will also be of interest to software engineering
practitioners who are seeking to establish training programmes or who recruit
from higher education.The workshop will be based round discussions, debates,
"swap shops", briefings, panel sessions and demonstrations. There will be no
formal paper presentations. Issues to be covered will include international
comparisons,links with other engineering disciplines, selection of text books,
use of novel teaching technologies, examination and project assessment.
A particular focus of the workshop will be on experience and ideas which are
"transferable". A proceedings including many such items has been assembled.


Core attendance at the workshop will be from those who have submitted papers
and from the workshop committee. Additional attendees are welcome up to
attendance limit.


For more information please contact the workshop chair:


Anthony Finkelstein, Imperial College
Email: acwf@doc.ic.ac.uk , Fax: +44-71- 581 8024


******************************************************************************


@@@@@@@@@@@@@@@@@@@@@@
@ @
@ THE TOOLS FAIR @
@ @
@@@@@@@@@@@@@@@@@@@@@@


ICSE has traditionally provided a meeting point where software engineering
practitioners and researchers presented and demonstrated their most advanced
work. The ICSE-16 Tools Fair will continue this tradition, featuring exhibits
of both industrial products and research results. Industrial exhibitors will
demonstrate their products at booths that will be set up throughout ICSE-16
in a large, modern exhibition hall. This will give attendees an excellent
opportunity to meet technology providers and see their recent developments.
In addition, academic researchers will demonstrate research results in a series
of scheduled two-hour demonstrations. Some, but not all, of these demonstrations
will showcase tools and technologies presented in ICSE-16 talks. All will
provide attendees with the opportunity to discuss in detail advanced software
engineering initiatives and developments.


For more information please contact either of the tools fair co-chairs:


      Alfonso Fuggetta, Politecnico di Milano
      Email: fuggetta@ipmel2.elet.polimi.it
      Tel: +39-2- 2399 3523
      Fax: +39-2- 2399 3411


      Walt Scacchi, Univ. of Southern California
      Email: scacchi@gilligan.usc.edu
      Tel. +1-213- 740 4782
      Fax. +1-213- 740 8494


==============================================================================


LOCAL EXCURSIONS


CAPRI (Saturday May 21)


There will be a tour to the legendary Isle of Capri, just a short sail across
the Bay of Naples from Sorrento. Only four miles by two, the island has been
renowned for its beauty since Roman times and at one point was the focal point
of the whole Roman Empire. The tour will feature a mini-bus trip to high
Anacapri (the island's second town), a walk through the Augustus Gardens with
views over the Faraglioni rocks, a visit to the south of the island, and a tour
through "Villa San Michele", the resort of Dr. Axel Munthe, the famous Swedish
author-physician.




POMPEII and VESUVIUS (Sunday May 22)


There will be tours to Pompeii, one of the world's foremost archeological sites,
and to the volcano Vesuvius. Pompeii, destroyed in 79 AD by an eruption of
Vesuvius, remained entombed by lava until excavations started in 1784. The
excavations have revealed an amaziwhich will be fully explained by a local guide. The tour to Mount Vesuvius will
feature a scenic drive by motor coach to a height of 3,500 ft. from which it
will be possible to walk to the volcano's crater.




THE AMALFI COAST, POSITANO AND RAVELLO (Saturday May 21)


There will be a tour along the Amalfi Drive, considered by many to be one of
the most scenic routes in Europe. The tour route passes through enchanting
cliff-top villages perched high above the sparkling sea and backed by dramatic
rock formations steeply terraced with groves of vines and citrus fruits. Along
the way, the tour will pass through the romantic towns of Positano and Amalfi.
In Amalfi there will be ample time to explore this splendid little town, the
first Marine Republic of Italy. The final stop on this tour will be at the town
of Ravello, magnificently overlooking Maiori and Minori. There the tour will
visit Villa Rufolo, which was a source of substantial inspiration to Richard
Wagner.


==============================================================================


@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@ @
               @ HOTEL RESERVATION FORM @
@ @
             @ 16th International Conference on Software Engineering @
               @ and affiliated workshops @
@ @
         @ MAY 16-21, 1994 @
@ @
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@


Send Directly to: RUSSO TRAVEL S.r.l.
Via Capo, 9/A
I-80067 SORRENTO (Na) , ITALY
Tel. +39-81-8071845
Fax +39-81-8071367


A large number of rooms has been reserved at very reasonable rates.
(These rates will remain in effect for stays extended for up to one week
after the Conference). ALL RATES INCLUDE BREAKFAST.
Reservations will be confirmed upon receipt of a deposit for the first night's
stay. Advanced deposit is refundable only if reservations are cancelled 48
hours prior the arrival. Refunds are subject to a 20% process fee.


Please check the preferred room category and appropriate rate
(Lit. 1000 = US $ 0.58 at February '94 rate)


SORRENTO PALACE HOTEL (****)
o Single standard rear view Lit. 160000 /night
o Twin superior front view, single use: Lit. 180000 /night
o Twin standard rear view, double use: Lit. 220000 /night
o Twin superior front view, double use: Lit. 248000 /night
o Junior suite, double use Lit. 380000 /night


ROYAL HOTEL (****) or similar
o twin standard, double use: Lit. 270000 /night
o Twin standard , double use: Lit. 295000 /night


SIRENE HOTEL (***) or similar
o Twin standard , double use: Lit. 200000 /night


ASCOT HOTEL (***) or similar
o Twin standard, single use: Lit. 90000 /night
o Twin standard, double use: Lit. 120000 /night




Name: ___________________________________________________________


Sharing room with _______________________________________________


Arrival Date _______ Departure Date ________ Number of nights _______


Affiliation _______________________________________________________


Address _________________________________________________________




Excursions fees (per person, lunch included):
o Capri: Lit. 80000
o Amalfi Coast: Lit. 60000
o Pompei/Vesuvius: Lit. 90000




o Gala Dinner fee (per person, covers dinner, beverages and show): Lit. 100000


PAYMENT:


ROOM Lit. ______________ X ______ = Lit. ______________


EXCURSION:
Capri Lit. 80000 X ______ = Lit. ______________
Amalfi coast Lit. 60000 X ______ = Lit. ______________
Pompei/Vesuvius Lit. 90000 X ______ = Lit. ______________


Gala Dinner Lit. 100000 X ______ = Lit. ______________




                                                   AMOUNT ENCLOSED Lit. _________________


Payment must be enclosed. Please make all checks payable to RUSSO TRAVEL S.r.l.
Payment by check must be in Italian lire and drawn in Italian bank. Payment by
check must be without expenses for the beneficiary.


METHODS OF PAYMENT (Please check appropriate form of payment)


o personal cheque o company cheque o traveller's cheque


o VISA o MASTERCARD


Please provide the following information if using credit card for room guarantee
and/or payment of fees


* Credit Card Number _______________________________________________


    Expiration Date ___________________


* Cardholder name ____________________________


    Authorized Signature _____________________________




                                  RESERVATIONS MUST BE RECEIVED BY APRIL 30, 1994


==============================================================================


@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@ @
               @ CONFERENCE REGISTRATION FORM @
@ @
             @ 16th International Conference on Software Engineering @
               @ and affiliated workshops @
@ @
         @ MAY 16-21, 1994 @
@ @
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@


Return registration form to: A.I.C.A.
c/o CRIAI
P.le E. Fermi, Localita'Granatello
I-80055 PORTICI (NA) ITALY
Tel. +39-81-7863111 Fax: +39-81-7766905
e-mail: icse16@ccrhp3.criai.it


Please print or type




Last/Family Name ______________________________________________________


First, M.I., Badge Name ______________________________________________________


Affiliation ______________________________________________________


Address/Mail Stop ______________________________________________________


City/State/Zip/Country ______________________________________________________


Phone, FAX, e-mail: ______________________________________________________


IEEE/ACM/AICA Membership no __________________________________________________
(Required for membership discount)


Do you have any special needs? _______________________________________________




Expected arrival time in Naples (to schedule the bus shuttle service):


Day: ____________ Time: ____________ Flight no.: _____________




------------------------------------------------------------------------------
*************
* TUTORIALS *
*************


Please check the tutorial(s) you wish to attend.
The cost of 2 half-day tutorials is the same as the cost of 1 full-day tutorial.


MAY 16, 1994


o Software Reengineering (Full-day)


o Process-Centered Software Engineering Environments (Full-day)


o A Methodology for Software Quality Metrics (Half-day)


o Object-Oriented Software Engineering:
        A Use Case Driven Approach (Half-day)




MAY 16, 1994


o The Experience Factory: How to Build and Run One (Full-day)


o The Capability Maturity Model (Half-day)


o ECMA PCTE - The Standard Interface for
          Distributed Software Engineering environments (Half-day)
o Introduction to ISO 9000 Standard Series for Systems
      and Software (Half-day)


o Z for Software Engineers (Half-day)


------------------------------------------------------------------------------
***************
* WORKSHOPS *
***************


Please check the workshop(s) you plan to attend.


MAY 16-17


o Software Engineering and Artificial Intelligence (SE&AI)
    (contact workshop chairs for admission)


o Software Engineering and Human-Computer Interaction (SE&HCI)
    (contact workshop chairs for admission)


o Software Engineering and Databases (SE&DB)
    (by invitation only)


MAY 21


o Software Engineering Education Workshop
    (contact workshop chair for admission)


------------------------------------------------------------------------------


Please check the appropriate fees (Lit 1000 = US$ 0.58 at February'94 rate)


CONFERENCE Registration Fee: TUTORIAL Registration Fees (*):


o MEMBER o MEMBER
    Advance Late Advance Late
    Lit. 800000 Lit. 880000 Lit. 600000 Lit. 660000


o NON MEMBER o NON MEMBER
    Lit. 920000 Lit. 1000000 Lit. 740000 Lit. 810000


o STUDENT
    Lit. 520000 Lit. 580000


(*) Tutorial fees are for full-day tutorials
        Half-day tutorials cost half as much as full-day tutorials
------------------------------------------------------------------------------


SE&AI WORKSHOP Registration Fee: SE&HCI WORKSHOP Registration Fee:


o MEMBER o MEMBER
    Advance Late Advance Late
    Lit. 510000 Lit. 610000 Lit. 680000 Lit 750000


o NON MEMBER o NON MEMBER
    Advance Late Advance Late
    Lit. 640000 Lit. 770000 Lit. 800000 Lit. 880000




SE&DB WORKSHOP Registration Fee: SE Education WORKSHOP Registration Fee:


o MEMBER o MEMBER
    Advance Late Advance Late
    Lit. 580000 Lit. 700000 Lit. 220000 Lit. 270000


o NON MEMBER o NON MEMBER
    Advance Late Advance Late
    Lit. 720000 Lit. 875000 Lit. 250000 Lit. 300000
-------------------------------------------------------------------------------


Registration fees include conference and/or tutorial and/or workshop attendance,
refreshments at breaks, *LUNCHES*, one copy of the conference proceedings,
and a reception for non-student registrants.


We reserve the right to cancel a tutorial due to insufficient participation.
Written requests for refunds must be received in the AICA office no later than
May 9. Refunds are subject to a 20% processing fee. No-show registrations will
be billed in full. Students are required to show ID cards with current picture
at the time of registration.


                                ADVANCE REGISTRATION ENDS ON APRIL 20, 1994


                          REGISTRATION AFTER May 9 WILL BE ACCEPTED ON-SITE ONLY


Registrations on-site: Sunday: 16.00 - 18.00,
                                                      from Monday to Saturday: 7.30 - 8.30


Total Enclosed (in Lit.) _____________________________________


Payment must be enclosed either in the form of a check or credit card account
information. Please make all checks payable to A.I.C.A. Payment by check must be
in Italian lire, and drawn on an Italian bank. Payment by check must be without
expenses for the beneficiary.


METHODS OF PAYMENT (Please check appropriate form of payment)


o Personal cheque o Company cheque o Traveller's cheque


o VISA o MASTERCARD o EUROCARD o CARTA SI


Please provide the following information if registration fees are to be paid by
credit c
Card Number _____________________________________________


Expiration Date _____________________________________________


Cardholder Name _____________________________________________


Signature __________________________________________________




Do not include my mailing address on:


o Non-society meeting lists o Meeting attendee lists


The advance program and final one are available via anonymous ftp on
ccrhp3.criai.it in the file pub/icse/program.txt. Moreover the file readme
contains information you may need about ICSE-16.


For additional information, contact


A.I.C.A.
c/o CRIAI
P.le E. Fermi, Localita'Granatello
I-80055 PORTICI (NA) ITALY
Tel. +39-81-7863111 Fax: +39-81-7766905
e-mail: icse16@ccrhp3.criai.it


==============================================================================


@@@@@@@@@@@@@@@@@@@@@@@@@@@
@ @
@ HOW TO REACH SORRENTO @
@ @
@@@@@@@@@@@@@@@@@@@@@@@@@@@


A special free bus shuttle service will be organized between the
Naples-Capodichino International Airport and the Sorrento Palace Hotel.
Buses will connect with the mail flight arrivals, according to the arrival
times indicated on the registration form.


Sorrento can also be reached from Naples by train, hydrofoil and public bus
according to the timetables below. The 'Circumvesuviana' trains is especially
convenient. (The information below may be subject to change. It is advisable
to check before starting your journey).


PUBLIC BUS


*FROM NAPLES-Capodichino Airport (Curreri Company - Tel 081/8015420)


    NAPLES -> SORRENTO: 11.00 - 13.00 - 16.30 - 18.30


    SORRENTO -> NAPLES: 06.40 - 09.30 - 14.30 - 16.00


    Tickets on board. The trip takes approximately 1 1/2 hours.
-------------------------------------------------------------------------------


*FROM ROME station (CIAT Bus Company - Tel. 0774/391341)


    ROME -> SORRENTO: 06.30 - 14.40


    SORRENTO -> ROME: 06.00 - 17.30


    Every day except Sunday. Tickets on board. The trip takes approx 3 1/2 hours.
-------------------------------------------------------------------------------


"CIRCUMVESUVIANA" SFSM TRAINS


*FROM NAPLES central station (Tel. 081/7792267)


NAPLES -> SORRENTO:
04.51* - 05.31 - 06.14 - 06.33* - 06.54
07.34 - 08.14 - 09.04 - 09.34 - 09.54*
10.14 - 10.54 - 11.34 - 11.54 - 12.14
12.54 - 13.14 - 13.54 - 14.14 - 14.45
14.54 - 15.14 - 15.54 - 16.34 - 17.14
17.45* - 15.54 - 18.14 - 18.34 - 19.14
19.45 - 20.14 - 20.34 - 21.05 - 21.14
21.31 - 22.14 - 22.48


SORRENTO -> NAPLES:
04.13 - 05.01 - 05.41 - 06.01 - 06.21
06.41* - 07.01 - 07.41 - 08.01* - 08.21
09.01 - 09.41 - 10.21 - 11.01 - 11.41
12.01* - 12.21 - 13.01 - 13.21 - 14.01
14.41 - 15.01 - 15.41 - 16.01 - 16.21*
16.41 - 17.21 - 18.01 - 18.41 - 19.01
19.21* - 19.41 - 20.01 - 20.41 - 21.21
22.01 - 22.41
                                                        (*) not on Sunday


The train connects Naples to Sorrento in about 1 hour. The railway station can
be reached from Naples-Capodichino Airport by Atan bus line 14N and 14R
(tickets at the airport) as by taxi.
-----------------------------------------------------------------------------


HYDROFOIL (Alilauro-Medmar Company Tel. 081/7614249)


Daily, depart approximately every 2 hours (between 9.00 and 18.00).
The trip takes about 40 minutes. The port can be reached from the railway
stations by Atan trolley cars (Line nr 1 - tickets at newspaper kiosks).


@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@




                                                PRELIMINARY ANNOUNCEMENT


                          17th International Conference on Software Engineering
Seattle, Washington (USA)


April 24-28 1995




The 17th International Conference on Software Engineering (ICSE-17) will be
held April 24-28 1995, in Seattle, Washington (USA).


Dewayne Perry (AT&T Bell Laboratories) will serve as General Chair,
and the Program Co-chairs will be Ross Jeffrey (University of New South Wales)
and David Notkin (University of Washington).


As in previous ICSEs, there will be presentation of refereed tutorials and
technical papers, as well as exhibits and demonstrations. A number of
pre-Conference Workshops will explore research issues at the intersection
between Software Engineering and other disciplines including Software
Architecture, Integration, Technology Transfer, Research Paradigms, Formal
Methods in Industry, and Software Engineering and Programming Languages.


The deadline for all submission is September 1, 1994. A full Call-for-Papers
will appear later in the Spring.


For further information about ICSE-17, please send e-mail to
icse17@cs.washington.edu. A full page announcement in PostScript format is
presently available via anonymous FTP on cs.washington.edu in the file
pub/se/icse17/announce.ps
--

Return to the comp.compilers page.
Search the comp.compilers archives again.