[comp.software-eng] Soft-Eng Digest V4 #13

MDAY@XX.LCS.MIT.EDU ("Mark S. Day") (03/10/88)

Soft-Eng Digest             Wed,  9 Mar 88       Volume 4 : Issue  13 

Today's Topics:
                       10 ICSE Advance Program
----------------------------------------------------------------------

Date: Thu, 25 Feb 88 09:38:27 SST
From: chun cheng <NCBISE2%NUSVM.BITNET@CUNYVM.CUNY.EDU>
Subject: 10 ICSE Advance Program

10th INTERNATIONAL CONFERENCE on SOFTWARE ENGINEERING
April 11-15, 1988 Raffles City Singapore

TOOLS OF A PROFESSION
Organised by: IEEE-CS, ACM SIGSOFT, National Computer Board, Singapore
              Computer Society
in Association with 22 other professional bodies and computer societies

For enquiries and copy of advance program contact:
    Secretary 10 ICSE
    c/o National Computer Board
    NCB Building
    71 Science Park Drive
    Singapore 0511
    Tel: (65)-7720405
    Fax: (65)-7795966
    Telex: RS38610 NCB
    Bitnet: NCBISE2@NUSVM


TECHNICAL PROGRAM

Wednesday, April 13, 1988

7:30am          Registration
8:30-8:55am     Welcome and Opening Remarks - Tan Chin Nam, Conference Chair
8:55-9:05am     Conference Commencement - Guest of Honor, TBA
9:05-9:15am     Technical Program Comments - Program Co-Chairs
                        Larry Druffel, Software Engineering Institute
                        Bertrand Meyer, Interactive Software Engineering

9:15-10:30am    Technical Keynode - Evolution of Tools
                Speaker  - Kouichi Kishida, Software Research Associates;
                RESPONDENT - BARRY BOEHM, TRW

10:30-11:00am                      Break
Session 1: Parallel     Session 2: Management           Session 3: Environment
& Distributed           Chair    : J Musa,              Chair    : J Ferguson,
Applications                       AT&T Bell Labs                  ESD
Chair   : C Chan, NUS    
P1, P2, P3              F1, F2, F3                      A1, A2, A3

12:30-2:00pm                       Lunch
Session 4: Distributed  Panel 1: Technology Transfer    Tool Presentation
System Design           Chair  : P Freeman, National    Track 1    :
Chair    : M Boasson             Science Foundation     Chair   : TBA
Hollandse Signa. B V    Panelists: TBA                  Tool 1  : TBA
P4, P5, P6                                              Tool 2  : TBA
                                                        Tool 3  : TBA

3:30-4:00pm                        Break
Session 5: Real Time    Panel 2: The World Technology   Tool Presentation
Chair    : D Barstow    Scene:Cooperation, Competition  Chair   : TBA
Schlumberger-Doll       or War?                         Tool 4  : TBA
Research                Chair  : B Meyer, Interactive   Tool 5  : TBA
P7, P8, P9              Software Engineering Inc        Tool 6  : TBA
                        Panelists : TBA

5:30-6:30pm                  Cash Bar Reception

Thursday, April 14, 1988
8:00am          Registration
8:30-10:30am    Plenary Session - Software for Space Station
                Session Coordinator - W Murray, General Dynamics
                Invited Speaker - Clarence Pittman (NASA)
                Panelists - Representative of the NASDA
                            Representative of the European Space Agency

10:30-11:00am                    Break
Session 6: Software     Session 7: Process Models       Session 8: Environment
Quality Techniques      Chair : M Lehman, Imperial      Components
Chair : L Osterweil,    Software Technology Ltd         Chair    : TBA
University of Colorado  F4, F5, F6                      A4, A5, A6
P10, P11, P12

12:30-2:00pm                     Lunch
Panel 3:  Implications  Session 9: Reuse                Tool Presentation
of New Hardware         Chair    : M Moriconi, SRI      Track 3    :
Technology              F7, F8, F9                      Tool 7  : TBA
Chair  : A Wasserman,                                    Tool 8  : TBA
Interactive Development                                 Tool 9  : TBA
Environments
Panelists : TBA

3:30-4:00pm                      Break
Session 10: Specifying  Panel 4: Reuse                  Tool Presentation
Concurrent Systems      Chair  : L Williams, Software   Track 4    :
Chair: K Futatsugi      Engineering Research            Tool 10    : TBA
Electrotechnical        Panelists : TBA                    Tool 11    : TBA
Laboratories                                            Tool 12 : TBA
P13, P14, P15

5:30-6:30pm               Cash Bar Reception
7:00-7:45pm               Cultural Show
8:00pm                    Banquet (10-Course Chinese Dinner)


Friday, April 15, 1988

8:00am          Registration
8:30-10:00am    Plenary Session - Application of Formal Specifications
                Session Coordinator     - TBA
                Invited Speaker            - Jean-Raymond Abrial;
                Respondent              - David Robinson, Systems Designers Ltd

10:00-10:30am                      Break
Session 11: Formal      Session 12: User Issues         Session 13: Automated
Methods                 Chair     : T Matsubara,        Tools
Chair     : J Finance,  Hitachi Software Engineering    Chair     : R Taylor,
University of Nancy     F10, F11, F12                   UC, Irvine
P16, P17, P18                                           A7, A8, A9

12:00noon-1:30pm                   Lunch
Session 14: Software    Panel 5: The Global Software    Panel 6: Environments:
Derivation              Economy                         Big or Small?
Chair     : F Belz,TRW  Chair  : E Dyson, ED Venture    Chair  : W Howden,
P19, P20, P21           Holdings                        Univ. of California,
                        Panelists : TBA                 San Diego
                                                        Panelists : TBA

3:00-3:30pm                        Break
3:30-5:00pm     Closing Plenary Session - Software Engineering Development in
                                          the Asia Pacific
                Session Coordinator     - Director, Information Technology
                                          Institute
                Panelists : TBA
5:00pm          Closing Remarks
5:00-6:00pm     Cash Bar Reception


LEGEND OF PAPER NUMBERS
P1   P Itzigehl    - A Method of Asynchronous Parallelization
P2   M Satyanarayanan - On the Influence of Scale in a Distributed System
P3   M Barbacci; C Weinstock; J Wing - Programming at the Processor-Memory-
          Switch Level
P4   J Fagerstrom - Design and Test of Distributed Applications
P5   M Muhihauser - Software Engineering for Distributed Applications: The
          Design Project
P6   M Evangelist; V Shen; I Forman; M Graf - Using Raddle to Design
          Distributed Systems
P7   H Xin; Z Hong; C Xiyao - Heuristic Software Partitioning Algorithms for
          Distributed Real-Time Applications
P8   M Hagemann - Requirements Analysis for Realtime Automation Projects
P9   R Orr; M Norris; R Tinker; C Rouch - Tools for Real Time System Design
P10  D Embley; S Woodfield - Assessing the Quality of Abstract Data Types
          Written in Ada
P11  A Mathur; E Krauser - Modeling Mutation On A Vector Processor
P12  M Ducasse; A emde - A Review of Automated Debugging Systems: Knowledge,
          Strategies, and Techniques
P13  M Hallman - An Operational Requirement Description Model for Open Systems
P14  G Roman - Language and Visualization Support for Large-Scale Concurrency
P15  L Chiu; M Liu - High Level Specification of Concurrency Control in
          Distributed Database Systems
P16  D Craigen; S Kromodimoeljo; I Meisels; A Neilson; B Pase; M Saaltink
     - m-EVES: A Tool for Verifying Software
P17  A Nakagawa; K Futatsugi; S Tomura - Algebraic Specification of Macintosh's
     QuckDraw Using OBJ2
P18  R Terwilliger; R Cambell - An Early Report on ENCOMPASS
P19  C Potts; G Bruns - Recording the Reasons for Design Decisions
P20  W Johnson - Deriving Specifications from Requirements
P21  D Barstow - Automatic Programming for Steams II: Transformational
       Implementation

F1   B Boehm; R Ross - Theory-W Software Project Management; A Case Study
F2   A Duncan - Software Development Productivity: Tools and Metrics
F3   D Dixon - Integrated Support for Project Management
F4   L Williams - Software Process Modeling: A Behavioral Approach
F5   D Jeffrey; V Basili - Validating The Tame Resource Data Model
F6   R Fonorow - Modeling Software Tools with Icon
F7   K Lieberherr; A Reil - Demeter: A Case Study of Software Reusability
       Through Metaclasses
F8   H Tarumi; K Agusa; Y Ohno - A Programming Environment Supporting Reuse of
        Object-Oriented Software
F9   D Notkin; W Griswold - Extension and Software Development
F10  R Baecker - Enhancing Program Readability and Comprehensibility with Tools
        for Program Visualization
F11  M Young; R Taylor; D Troup; C Kelly - Design Principles Behind Chiron: A
        UIMS for Software Environments
F12  S Cha; N Leveson; T Shimeall - Safety Verification of Ada Programs in
        MURPHY

A1   D Perry; G Kaiser - Models of Software Development Environments
A2   K Kishida; T Katayama; M Matuso; I Miyamoto; K Ochimizu; N Saito;
     J Sayler; K Torii; L Williams - SDA: A Novel Approach to Software
        Environment Design and Construction
A3   H Muller - Rigi - A System for Programming-in-the-Large
A4   A Narayanaswamy - Static Analysis-Based Program Evolution Support in the
        Common Lisp Framework
A5   N Mano - Modeling of Data-Processing Software for Generation and Reusing
        their Programs
A6   S Zeil; E Epp - Interpretation in a Tool - Fragment Environment
A7   J Benjamin - PILOT: A Prescription for Program Performance Measurement
A8   D Harel; H Lachover; A Naamad; A Pnueli; M Politi; R Sherman;
     A Shtul-Trauring - STATEMATE: A Working Environment for the Development of
        Reactive Systems
A9   H Sharp - Automatic Design Evaluation and Refinement Using the Blackboard
        Model of Control


TUTORIALS (April 11-12, 1988  -  Pan Pacific Hotel)

Tutorial 1                              Tutorial 2
Monday, April 11, 1988                  Monday, April 11, 1988
9:00am - 5:00pm                            9:00am - 5:00pm
Title: Knowledge-Based Programming      Title: Software Productivity:
       Environments                            The Human Side
Instructor: David R Barstow,            Instructors: Tom DeMarco and Tim Lister
            Schlumberger-Doll                        The Atlantic Systems Guild
            Research

Tutorial 3                              Tutorial 4
Tuesday, April 12, 1988                 Tuesday, April 12, 1988
9:00am - 5:00pm                         9:00am - 5:00pm
Title: Formal Specification and         Title: Software Risk Management
       Verification
Instructor: Richard A Kemmerer,         Instructor: Barry W Boehm,
            University of California                TRW Defense Systems Group

CONFERENCE REGISTRATION FORM
1.  Please send this form to:
        ICSE-10 Registration        or      ICSE-10 Registration
        Computer Society                    Dept of Computer Science
        1730 Massachusetts Ave NW           National University
        Washington, DC 20036-1903           Kent Rdige, Singapore 0511
        (USA Delegates)                     (All Other Delegates)
2.  Payment for delegates may be made by check payable to ICSE-10, or by
    completing the credit card authorization form below.
3.  Members of sponsoring organizations are entitled to the reduced member
    fees.  Please indicate the organization concerned and your membership
    number.
4.  The Conference Fee covers admission to the technical sessions, Tools Fair,
    a copy of the Proceedings (except students), morning/afternoon refreshments
    and Cultural Show cum Conference Banquet.  The Tutorial Fee covers tutorial
    notes and lunch.  The Tutorial will be held at the Pan Pacific Hotel
    (within walking distance of Raffles City).
5.  The following discounts apply:
    A) IF YOU ATTEND 2 TUTORIALS AND THE CONFERENCE, YOU ARE ENTITLED TO a
        DISCOUNT OF US$50/S$100.
    B) IF YOU ATTEND 1 TUTORIAL AND THE CONFERENCE, YOU ARE ENTITLED TO a
       DISCOUNT OF US$30/S$60.
    C) IF YOU ATTEND 2 TUTORIALS, YOU ARE ENTITLED TO A DISCOUNT OF US$30/
       S$60.
6.  A refund will be made only if the request is received in writing by March
    15, 1988.  A US$15/S$30 handling charge will be deducted.

(Please type or print)

Name:
Organisation:
Address:
Phone no:

Tutorial Selection - please check your selections:
April 11        1.  Knowledge-Based Programming Environments
                2.  Software Productivity: The Human Side
April 12        3.  Software Risk Management
                4.  Formal Specification and Verification

Advanced Registration Fee (received before March 15, 1988)
                        Member          Non-Member      Student
Conference              US$210/S$420    US$265/S$530    US$105/S$210
Tutorial (per day)      US$140/S$280    US$180/S$360    US$ 85/S$130

Late Registration Fee (received before March 14, 1988)
                        Member          Non-Member       Student
Conference              US$250/S$500    US$315/S$630    US$130/S$260
Tutorial (per day)      US$175/S$350    US$225/S$450    US$ 80/S$160
Technical Visit Programme: US$8/S$15 per person
Cultural Show cum Banquet: US$23/S$45 per guest

PAYMENT ENCLOSED:       CONFERENCE FEE     US/S    $__________
                        Tutorial fee day 1         $__________
                        Tutorial fee day 2         $__________
                        Technical Visit            $__________
                        Show/Banquet               $__________(Guest Only)
                        Less Discount              $__________(if applicable)
                        TOTAL                      $__________

Member No. ________________ of Sponsoring Society ________________________

Flight Information:
1.  Will/Did you fly Singapore Airlines? Yes/No
2.  Arrival Date: ______________________        Origin: ______________________
3.  Departure Date: ____________________        Destination: _________________
    Credit Card --      VISA         MasterCard      Am Ex
Card Number: _____________________________      Exp. Date: ___________________
Cardholder Name: _________________________ Signature: ________________________

ACCOMMODATION RESERVATION FORM
Conference Hotel: Westin Stamford
Deposit Deadline: March 4, 1988

Reservations can be made through: Associated Tours (S) Pte Ltd, 20 Bideford
Road, #10-00, Wellington Building, Singapore 0922
Tel 2357222, Telex: RS24281, Fax: 7331269
OR
The Associated Tours office in your area.

Please type or print and cicle your choices.  Please use one form per
participant.  You may photocopy this form.

PACKAGE A: Per Room Night Basis
Package includes accommodation at Westin Stamford only.  The cost is on a per
person basis.

Room Category                   Twin Sharing            Single Occupancy

Standard                        S$57.65                 S$95.00
                                US$32.00                US$53.00

MEDIUM                          S$64.45                 S$108.50
                                US$36.00                US$60.50

DELUXE                          S$71.20                 S$122.10
                                US$39.50                US$68.00

PREMIER                         S$78.00                 S$135.60
                                US$43.50                US$75.50
Number of nights required       _______________            _________________

Optional Transfer:
One-way transportation in an air-conditioned car.  cost is S$30.00 per person.
-  Airport/Hotel (one way)
-  Hotel/Airport (one way)
-  Airport/Hotel/Airport (two ways)

PACKAGE B: 3 Nights/4 Days Package
Package includes accommodations at Westin Stamford, American breakfast and
transfer upon arrival and departure.  The cost is on a per person basis.
                                                     Additional Night
                                                    (includes breakfast)
                Twin            Single          Twin            Single
Room Category   Sharing         Sharing         Sharing         Occupancy

Standard        S$278.00        S$390.00        S$73.00         S$110.00
                US$154.50       US$216.50       US$40.50        US$61.00

MEDIUM          S$298.00        S$430.00        S$80.00         S$124.00
                US$165.50       US$239.00       US$44.50        US$69.00

Deluxe          S$318.00        S$471.00        S$86.00         S$137.00
                US$176.50       US$261.50       US$48.00        US$76.00

Premier            S$339.00        S$511.00        S$93.00            S$151.00
                US$188.50       US284.00        US$52.00        US$84.00

Number of additional nights ________________

Name
Organization
Address
Country
Telex No
Fax. No
Arrival Date   ____________Flight No._____________
Departure Date ____________Flight No._____________

The following special air rates have been arranged for US attendees by
Commerce Tours.  For additional information, please contact: Commerce
Tours Int'l. Inc., 870 Market St., Ste. 920, San Francisco, CA 94102.
(415)433-3072.
                                West Coast              East Coast
Economy Class                   US$ 913                 US$1,162
Business Class                  US$1,905                US$2,487

NOTE: BASED ON ROUND TRIP TO SINGAPORE.  ECONOMY CLASS TRAVEL IS VALID Fom
Monday thru Thursday only.

POST CONFERENCE PACKAGE
Please check the sightseeing programs or optional post conference tours you
wish to join.  Please return this form with full payment no later than
March 4, 1988, to:
        Associated Tours (S) Pte Ltd
        20 Bideford Road #10-00
        Wellington Building
        Singapore 0922
        Tel: (65)-2357222, Telex: RS24281, Fax: (65)-7331269
  OR
        The Associated Tours office in your area.


Optional Sightseeing Programs                                   Preferred Dates

Singapore City Tour: S$19.00; US$10.50                          ______________
Jurong Bird Park: S$20.00; US$11.50                             ______________
Evening Hawkers Food Treat: S$25.00; US$14.00                   ______________
Twilight Dinner Cruise (Transfer excluded): S$34.00; US$19.00   ______________
Johore Experience (Passport required): S$16.00; US$9.00         ______________
Full Day Malacca Tour (Passport required): S$63.00; US$35.00    ______________
Golf Games: S$280.00; US$155.50                                    ______________

Optional Post Conference Tours
(Cost on per person basis.)
                                        Twin Sharing    Single Occupancy
Malaysia
Tour A: 3 days/2 ngihts Penang Package  S$529.00        S$620.00
Departing: April 16, 1988               US$294.00       US$344.50
Tour B: 3 days/2 nights Tioman Package  S$370.00        S$490.00
Departing: April 17, 1988               US$205.50       US$272.50

Indonesia
Tour C: 4 days/3 ngihts Bali Package    S$858.00        S$1010.00
Departing: April 16, 1988               US$476.50       US$561.00

Thailand
Tour D: 5 dyas/4 nights Bangkok Pakage  S$857.00        S$1050.00
Departing: April 17, 1988               US$476.00       US$583.50

Name
Address
Contact in Singapore: Hotel___________ Date in______  Date Out_________

NOTE:    Prices for optional post conference tours (where airfares are involved)
are subject to last minute changes in accordance with the prevailing market
situation.  Local sightseeing tours booking can also be made at the tour
desk during the conference period.

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

End of Soft-Eng Digest
******************************
-------