98 Program

Thursday, 15th October 1998

8:30am - 10:00am	Ilima Room	Maile Room
	SESSION 2a Mini-Tutorial An Introduction to Model Checking Gerard Holzmann and Anuj Puri Bell Labs	SESSION 2b: Reuse Chair: Bernd Kraemer Specification-Based Browsing of Software Component Libraries Bernd Fischer Reusability Hypothesis Verification Using Machine Learning Techniques : A Case Study Yida Mao, Houari A. Sahraoui and Hakim Lounis An Automated Approach for Supporting Software Reuse via Reverse Engineering Gerald C. Gannod, Yonghao Chen and Betty H. C. Cheng
10:00am	Break
10:30am - 12:00pm	Ilima Room	Maile Room
	SESSION 3a Mini-tutorial Category Theory for Beginners Steve Easterbrook NASA/WVU	SESSION 3b: Requirements Chair: Yves Ledru Towards the Automated Debugging and Maintenance of Logic-based Requirements (Experience Paper) T.L. McCluskey and M.M. West Explanation-based Scenario Generation for Reactive System Models Robert J. Hall Automated Integrative Analysis of State-Based Requirements Barbara J. Czerny and Mats P.E. Heimdahl
12:00pm	Lunch: Stevenson Ballroom, Princess Wing, 11th Floor
1:30pm - 2:45pm	Ilima Room	Maile Room
	SESSION 7a Short papers Chair: Steve Easterbrook ASSISTing Management Decisions in Software Inspection Processes James Miller and Fraser Macdonald An Automated Framework for Structural Test-Data Generation Nigel Tracey, John Clark, Keith Mander and John McDermid ADLscope: an Automated Specification-based Unit Testing Tool Juei Chang and Debra J. Richardson An Empirical Study of the Evolution of a Software System R. Mark Greenwood, Brian Warboys, Rachel Harrison and Peter Henderson A Coordination System Approach to Software Workflow Process Evolution Jean-Marc Andreoli, Christer Fernström, Jean-Luc Meunier	SESSION 7b Short papers Chair: Patricia Cornwell Requirements Engineering and Verification Using Specification Animation Daniel Hazel, Paul Strooper and Owen Traynor Automated Knowledge Acquisition and Application for Software Development Projects Ekkehard Baisch and Thomas Liedtke Developing the Designer's Toolkit with Software Comprehension Models Andrew Walenstein Development, Assessment, and Reengineering of Language Descriptions Alex Sellink and Chris Verhoef Brewing Fresh JAVA from Legacy Lisp: an Experiment in Automated Reverse Engineering Terence J Harmer and James M Boyle
2:45pm	Break
3:15pm - 4:30pm	Ilima Room	Maile Room
	SESSION 5a Short papers Chair: David Rosenblum On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation Michael Goedicke, Torsten Meyer and Christian Piwetz Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications Stefan Leue, Lars Mehrmann and Mohammad Rezai Component-based Software Process Support Kevin Gary, Tim Lindquist and Harry Koehnemann Illustrating Object-Oriented Library Reuse by Example: A Tool-Based Approach Amir Michail and David Notkin Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts Richard Clayton, Spencer Rugaber and Linda Wills	SESSION 5b Short papers Chair: David Redmiles From Z to BON/Eiffel Richard F. Paige and Jonathan S. Ostroff Detection of Exclusive OR Global Predicates Eunjung Lee Statistically Checkable Design Level Traits Joseph (Yossi) Gil and Yacov Eckel Parameterising (algebraic) specifications on diagrams Theodosis Dimitrakos A Visualization Concept for Hierarchical Object Models Stefan Berner, Stefan Joos, Martin Glinz and Martin Arnold
4:30pm - 6:00pm	Lehua Room
	Posters (based on short papers) and Tool Demos
7:00pm	Sheraton Waikiki - Lanai Room, Hawaii Ballroom Different hotel, 5-10 minute walk
	Conference Luau/Banquet Invited Dinner Speaker: Charles Rich, MERL - A Mitsubishi Electric Research Lab From the Programmer's Apprentice to Collaborative Interface Agents Best Paper Award