Monday, 11th September 2000

Room F022 UFRIMA

Doctoral Symposium
Chair: Renaud Marlet

Lunch (On your own)

Room F022 UFRIMA

Doctoral Symposium
Chair: Renaud Marlet

Tuesday, 12th September 2000

Room F018 UFRIMA

Room F022 UFRIMA

Tutorial 1
Model Checking for Software
- Willem Visser and Charles Pecheur, RIACS/ NASA Ames

Tutorial 2
The Role of Graph Transformation in Software Engineering and Requirements Engineering
- Michael Goedicke and Torsten Meyer, University of Essen
Gabriele Taentzer, Technical University of Berlin

Lunch (On your own)

Room F018 UFRIMA

Room F022 UFRIMA

Tutorial 3
Synchronous Programming of Reactive Systems: Principles, Languages, Compilers, Program Validation
- Nicolas Halbwachs, VERIMAG

Tutorial 4
Component technologies - an Overview
Chair: Renaud Marlet - Wolfgang Emmerich, University College London/Zuehlke Engineering GmbH

Wednesday, 13th September 2000

Room F019 UFRIMA

Registration

Lecture hall E ENSIMAG

Opening & Welcome
Yves Ledru, LSR/IMAG (General Chair)
Perry Alexander, Kansas Univ. (Programme Co-Chair)
Pierre Flener, Uppsala Univ. (Programme Co-Chair)

Overview of Doctoral Symposium
Renaud Marlet, Trusted Logic
John Penix, NASA Ames

Lecture hall E ENSIMAG

Invited speaker:
Gérard Berry, INRIA
Chair: Yves Ledru
The Strength and Limits of Synchronous Programming

Break

Room F018 UFRIMA

Room F022 UFRIMA

Session 1 - Verification
Chair: Virginie Wiels

Session 2 - Requirements
Chair: Bashar Nuseibeh

Model Checking Programs
- Willem Visser, Guillaume Brat, Klaus Havelund, SeungJoon Park

A Comparison of Questionnaire-Based and GUI-Based Requirements Gathering
- J. Michael Moore, Frank Shipman

Exploring the design of an intentional naming scheme using an automatic constraint analyzer
- Sarfraz Khurshid, Daniel Jackson

CM-Builder: An Automated NL-based CASE Tool
- Robert Gaizauskas, H.M. Harmain

Management of Change in Structured Verification
- Dieter Hutter

Finding comparatively important concepts between texts
- Renaud Lecoeuche

Lunch

Room F018 UFRIMA

Room F022 UFRIMA

Session 3 - Evolution
Chair: Enn Tyugu

Session 4 - Synthesis and Code Generation
Chair: Arthur Reyes

Upgrading Legacy Instances of Reactive Systems
- Robert J. Hall

Predicate Synthesis and other Fault Correction Techniques via Recursion-Editor and Abduction
- Raúl Monroy

Renaming Detection
- Walter F. Tichy, Guido Malpohl, James J. Hunt

A DSL Approach to Improve Productivity and Safety in Device Drivers Development
- Laurent Reveillere, Fabrice Merillon, Charles Consel, Renaud Marlet, Gilles Muller

Mutation Operators for Specifications
- Paul E. Black, Vadim Okun, Yaacov Yesha

A Declarative Approach for Designing and Developing Adaptive Components
- Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel

Break

Room F018 UFRIMA

Panel 1
Automatic code generation of safety critical software: Is it a viable idea?
Organizer: Mats Heimdahl, University of Minnesota

Room F112 and F114 UFRIMA

Demo Session

Reception at the Mairie de Grenoble (City Hall)

Thursday, 14th September 2000
9:00 am - 10:30 am	Room F018 UFRIMA	Room F022 UFRIMA
	Session 5 - Algebraic Specification Chair: Bob Hall	Session 6 - Process Chair: Wolfgang Emmerich
	Circular Coinductive Rewriting - Joseph Goguen, Kai Lin, Grigore Rosu
	Formal Construction of the Mathematically Analyzed Separation Kernel - Brad Martin, Peter White, Allen Goldberg, Frank Seaton Taylor	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.
	Simultaneous Checking of Completeness and Ground Confluence - Adel Bouhoula	Large Scale What-if Queries: A Case Study Using COCOMO-II - Tim Menzies, Erik Sinsel
10:30 - 11:00 am	Break

11:00 am - 12:00 pm	Short Papers 1 and Doctoral Symposium
	Room F018 UFRIMA	Room F022 UFRIMA	Room F112 UFRIMA	Room F114 UFRIMA	Room F116 UFRIMA
	Architecture and Components Chair: Houari Sahraoui	Verification and Validation Chair: Charles Pecheur	Transformation Chair: Steve Easterbrook	Automatic Code Generation / Doctoral Symposium Chair: Mike Lowry	Doctoral Symposium Chair: Renaud Marlet
	Automating the Composition of Middleware Configurations - Christos Kloukinas, Valerie Issarny	Java Model Checking - Ulrich Stern, David Park, David L. Dill	Controlled Automation of Consistency Enforcement - Klaus-Dieter Schewe	Issues for the automatic generation of safety critical software - Colin O'Halloran	An incremental formal approach to real-time systems - Ana Férnandez Vilas
	Pi-SPACE: A Formal Architecture Description Language Based on Process Algebra For Evolving - Christelle Chaudet, Flavio Oquendo	Non-Interference Analysis for Mixed Criticality Code in Avionics Systems - Mike Hill, Thomas Lake	Automatic Generation of B Specifications from Precise UML Notations for Data Intensive Applications - Regine Laleau, Amel Mammar	Specification of Distributed Systems with Algebraic and Transitional Techniques - Natalia Ioustinova	Model-based Automated Analysis of Dependable Interactive Systems - Karsten Loer
	Facilitating Automation of Architecture Description Meta-models - John J. Kyaruzi, Jan van Katwijk	Automated Security Checking and Patching Using TestTalk - Chang Liu, Debra J. Richardson	A transformational viewpoint on design patterns - Mikal Ziane	Formalizing Pattern Applicability - An Approach based on UML and B - Rafael Marcano-Kamenof	Software Architecture : An Industrial Experiment with Dassault Systèmes - Rémy Sanlaville
					Constraint of Model-Based Test Generation Using Input-Output Analysis - Patrick Schroeder

12:00 pm - 1:30 pm	Lunch
2:00 pm - 6:30 pm	Tour of the Chartreuse mountains, visit of the Musée de la Correrie and of the Chartreuse cellar (Hiking shoes are not necessary for the excursion). 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	Room F018 UFRIMA or lecture hall E ENSIMAG
	Invited Speaker: Jeff Magee, Imperial College Chair: Pierre Flener Architecture, Analysis and Animation (tentative title)
10:30 pm - 11:00 am	Break
11:00 am - 12:30 pm	Room F018 UFRIMA	Room F022 UFRIMA
	Session 7 - Design Chair: Colin O'Halloran	Session 8 - Testing Chair: Renaud Marlet
	Validating the contribution of real world knowledge to the diagnostic performance of automated database design tools - Shahrul Noah, Michael Williams	Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data - Paulo Marcos Siqueira Bueno, Mario Jino
	Using Graph Rewriting in the Transformation of Software Architectures - Hoda Fahmy, Richard C. Holt	Generating Test Data for Branch Coverage - Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa
	Specialization Patterns - Charles Consel, Ulrik P. Schultz, Julia L. Lawall	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
	Room F018 UFRIMA	Room F022 UFRIMA	Room F112 UFRIMA	Room F114 UFRIMA
	Reuse Chair: Medhi Harandi	Requirements and Modelling Chair: Frank Shipman	Process Chair: David Redmiles	Applications Chair: Julian Richardson
	An Experiment in Scientific Program Understanding - Mark Stewart	Translating Use Cases to Sequence Diagrams Liwu Li	Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources - Hirozumi Yamaguchi, Khaled El-Fakih, Gregor v. Bochmann, Teruo Higashino	Computing Types in Java Programs - Marianne Huchard, Hervé Leblanc
	Representing Technology to Promote Reuse in the Software Design Process - K. Suzanne Barber, Sutirtha Bhattacharya	User-friendly approach to engineerning UML use case models - Nikolai Mansurov, Dmitri Vasura	Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support - Martin S. Feather, Timothy W. Larson, Steve Cornford, Burton C. Sigal	Extending UML to Support Domain Engineering - Maurizio Morisio, G.H. Travassos, M. Stark
	Towards Automatic Assessment of Evolvability for Reusable Class Libraries - H. A. Sahraoui, H. Lounis, M. Boukadoum, F. Ethève	Semantic Abstraction Rules for Class Diagrams - Alexander Egyed	A Group Critic System for Object-Oriented Analysis and Design - Cleidson R.B. de Souza, Jair S. Ferreira Jr.	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	Room F018 UFRIMA or lecture hall E ENSIMAG
	Panel 2 Testing ... not for the eleventh hour Organizer: Debra Richardson, UC Irvine
4:00 pm	Room F018 UFRIMA or lecture hall E ENSIMAG
	Closing Remarks Introduction to ASE 2001 - Debra Richardson