Automated Software Engineering 2000 ASE2000 Programme Monday, 11th September 2000 (Doctorial Symposium) Tuesday, 12th September 2000 (Tutorials 1, 2, 3 and 4) Wednesday, 13th September 2000 (Registration; Opening & Welcome; Overview of Doctoral Symposium; Keynote Address; Sessions 1, 2, 3 and 4; Panel 1; Demo Session) Thursday, 14th September 2000 (Session 5 and 6; Short Papers 1 and Doctoral Symposium) Friday, 15th September 2000 (Invited Speaker; Session 7 and 8; Short Papers 2; Panel 2; Closing Remarks) ------------------------------------------------------------------------ Monday, 11th September 2000 9:00 am - 12:30 pm Doctoral Symposium 12:30 pm - 2:00 pm Lunch (On your own) 2:00 pm - 5:30 pm Doctoral Symposium Tuesday, 12th September 2000 9:00 am - 12:30 pm Tutorial 1 Verification (tentative title), NASA Ames Tutorial 2 The Role of Graph Transformation in Software Engineering and Requirements Engineering -With Selected Examples From Software Specification and Design Michael Goedicke and Torsten Meyer, University of Essen 12:30 pm - 2:00 pm Lunch (On your own) 2:00 pm - 5:30 pm Tutorial 3 Synchronous Languages (tentative title) Nicolas Halbwachs, VERIMAG Tutorial 4 Component technologies - an Overview Wolfgang Emmerich, University College London/Zuehlke Engineering GmbH Wednesday, 13th September 2000 8:30 am - 9:00 am Registration 9:00 am - 9:30 am Opening & Welcome Yves Ledru, LSR/IMAG (General Chair) (Programme Co-Chairs) Perry Alexander, Univ. of Kansas Pierre Flener, Uppsala Univ. Overview of Doctoral Symposium Renaud Marlet, Trusted Logics John Penix, NASA Ames 9:30 am - 10:30 am Keynote Address: Gérard Berry, INRIA title to be announced later 10:30 am - 11:00am Break 11:00 am - 12:30 pm Session 1 - Verification Model Checking Programs - Willem Visser, Guillaume Brat, Klaus Havelund, SeungJoon Park CM-Builder: An Automated NL-based - Robert Gaizauskas, H.M. Harmain Exploring the design of an intentional naming scheme using an automatic constraint CASE Tool analyzer - Sarfraz Khurshid, Daniel Jackson Management of Change in Structured Verification - Dieter Hutter Session 2 - Requirements A Comparison of Questionnaire-Based and GUI-Based Requirements Gathering - J. Michael Moore, Frank Shipman Finding comparatively important concepts between texts - Renaud Lecoeuche 12:30 pm - 2:00 pm Lunch 2:00 pm - 3:30 pm Session 3 - Evolution Upgrading Legacy Instances of Reactive Systems - Robert J. Hall Renaming Detection - Walter F. Tichy, Guido Malpohl, James J. Hunt Mutation Operators for Specifications - Paul E. Black, Vadim Okun, Yaacov Yesha Session 4 - Synthesis and Code Generation Predicate Synthesis and other Fault Correction Techniques via Recursion-Editor and Abduction - Raúl Monroy A DSL Approach to Improve Productivity and Safety in Device Drivers Development - Laurent Reveillere, Fabrice Merillon, Charles Consel, Renaud Marlet, Gilles Muller A Declarative Approach for Designing and Developing Adaptive Components - Philippe Boinot, Renaud Marlet, Gilles Muller, Charles Consel 3:30 am - 4:00 am Break 4:00 pm - 5:00 pm Panel 1 Automatic code generation for safety critical systems (preliminary title) Organizer: Mats Heimdahl, University of Minnesota 5:00 pm - 6:30 pm Demo Session 7:00 pm Reception at the Mairie de Grenoble (City Hall) Thursday, 14th September 2000 9:00 am - 10:30 am Session 5- Algebraic Specification Circular Coinductive Rewriting - Joseph Goguen, Kai Lin, Grigore Rosu Government, Industry, and Academia: Teaming to Design High Confidence Information Security Applications - Brad Martin, Peter White, Allen Goldberg, Frank Seaton Taylor Simultaneous Checking of Completeness and Ground Confluence - Adel Bouhoul Session 6 - Process Specifying the Coordination of Agents Using Little-JIL - Alexander Wise, Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr. Large Scale What-if Queries: A Case Study Using COCOMO-II - Tim Menzies, Erik Sinsel 10:30 am - 11:00 am Break 11:00 am - 12:00 pm Short Papers 1 and Doctoral Symposium Architecture and Components Automating the Composition of Middleware Configurations - Christos Kloukinas, Valerie Issarny Pi-SPACE: A Formal Architecture Description Language Based on Process Algebra For Evolving - Christelle Chaudet, Flavio Oquendo Facilitating Automation of Architecture Description Meta-models - John J. Kyaruzi, Jan van Katwijk Verification and Validation Java Model Checking - Ulrich Stern, David Park, David L. Dill Non-Interference Analysis for Mixed Criticality Code in Avionics Systems - Mike Hill, Thomas Lake Automated Security Checking and Patching Using TestTalk - Chang Liu, Debra J. Richardson Transformation Controlled Automation of Consistency Enforcement - Klaus-Dieter Schewe Automatic Generation of B Specifications from Precise UML Notations for Data Intensive Applications - Regine Laleau, Amel Mammar A transformational viewpoint on design patterns - Mikal Ziane Automatic Code Generation / Doctoral Symposium Issues for the automatic generation of safety critical software - Colin O'Halloran Other Doctoral Symposium Papers TBD 12:00 pm - 1:30 pm Lunch 2:00 pm - 6:30 pm Tour of the Chartreuse mountains and cellar (Don't forget hiking shoes) meet at the Grenoble Train Station 7:00 pm Conference Banquet meet at the Grenoble Train Station Friday, 15th September 2000 9:30 am - 10:30 am Invited Speaker: Jeff Magee, Imperial College Architecture, Analysis and Animation (tentative title) 10:30 am - 11:00 am Break 11:00 am - 12:30 pm Session 7 - Design Validating the contribution of real world knowledge to the diagnostic performance of automated database design tools - Shahrul Noah, Michael Williams Using Graph Rewriting in the Transformation of Software Architectures - Hoda Fahmy, Richard C. Holt Specialization Patterns - Charles Consel, Ulrik P. Schultz, Julia L. Lawall Session 8 - Testing Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data - Paulo Marcos Siqueira, Bueno Mario Jino Generating Test Data for Branch Coverage - Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa Test sequence generation from LUSTRE descriptions: GATeL - Bruno Marre, Agnès Arnould 12:30 pm - 2:00 pm Lunch 2:00 pm - 3:00 pm Short Papers 2 Reuse An Experiment in Scientific Program Understanding - Mark Stewart Representing Technology to Promote Reuse in the Software Design Process - K. Suzanne Barber, Sutirtha Bhattacharya Towards Automatic Assessment of Evolvability for Reusable Class Libraries - H. A. Sahraoui, H. Lounis, M. Boukadoum, F. Ethève Requirements and Modelling Translating Use Cases to Sequence Diagrams - Liwu Li User-friendly approach to engineerning UML use case models - Nikolai Mansurov, Dmitri Vasura Automated Abstraction for Object-Oriented Models - Alexander Egyed Process Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources - Hirozumi Yamaguchi, Khaled El-Fakih, Gregor v. Bochmann, Teruo Higashino Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support - Martin S. Feather, Timothy W. Larson, Steve Cornford, Burton C. Sigal A Group Critic System for Object-Oriented Analysis and Design - Cleidson R.B. de Souza, Jair S. Ferreira Jr. Applications Computing Types in Java Programs - Marianne Huchard, Hervé Leblanc Extending UML to Support Domain Engineering - Maurizio Morisio, G.H. Travassos, M. Stark Systematic Generation of Dependable Change Coordination Plans for Automated Switching of View Maintenance Policy - Prasanta Bose, Mark G. Matthews 3:00 pm - 4:00 pm Panel 2 Testing (tentative title) Organizer: Debra Richardson, UC Irvine 4:00 pm Closing Remarks Introduction to ASE 2001 - Debra Richardson