kenchew@ratliff.cs.utexas.edu (Khein Chen) (03/07/88)
- - - - -
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 address: 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-
SWITCHED 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.
- - - - -