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 ****************************** -------