ASE - Preliminary Program

Automated Software Engineering 2003
18th IEEE International Conference

	Home
	Call for Papers
	Tutorials
	Demos
	Program
	Doctoral Symposium
	Important Dates
	Conference Committee
	Program Committee
	Steering Committee
	REGISTRATION
	Accommodation
	Montreal - Touristic Information
	Social Events
	Français

A Sneak Peak for ASE 2004

Program

	Wednesday 8		Thursday 9		Friday 10
8:00 9:00	Registration		Registration		Registration
9:00 9:30	Welcome		Keynote		TS6
9:30 10:00	Keynote
10:00 10:30			Break
10:30 11:00	Break		TS4		Break
11:00 12:30	TS1				Posters 2	Demos 2
12:30 2:00	Lunch		Lunch		Lunch
2:00 3:30	TS2	TS3	Posters 1	Demos 1	TS7
3:30 4:00	Excursions around Montreal		Break		Break
4:00 5:30			TS5		Conference close and presentation of ASE 2004
7:00	Welcome Reception		Banquet

Monday 6th October 2003 (CRIM - 550, Sherbrooke Street West, 1st Floor)

Registration from 8:00am

Doctoral Symposium
Workshop 1: 3rd International Workshop on Formal Approaches To Testing Of Software (FATES 2003)
Workshop 2: 2nd International Workshop on MAnaging SPecialization/Generalization HIerarchies (MASPEGHI 2003)
Tutorial 7: MDA et approche transformationnelle

Tuesday 7th October 2003 (CRIM - 550, Sherbrooke Street West, 1st Floor)

Registration from 8:00am

Workshop 3: 2nd International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE 2003)
Tutorial 1: Quality Specification, Evaluation And Assessment For Certification (AM)
Tutorial 2: Developing Enterprise Web Services and Applications (AM)
Tutorial 3: Program Analysis using Abstract Interpretation (AM)
Tutorial 4: Model-driven engineering with contracts, patterns, and aspects (PM)
Tutorial 5: Testing Component-Based Software - Issues, Challenges, Needs, and Solutions (PM)
Tutorial 6: Critical Systems Development with UML-light (PM)

Wednesday 8th October 2003 (Delta Hotel - 475, President-Kennedy Avenue, Mezzanine Level)

8:00-9:00	Registration
9:00-9:30	Welcome (Chair: Houari Sahraoui)
9:30-10:30	Keynote session: (Chair: John Grundy) John Myloupolos (University of Toronto) Towards a Science of Software Design
10:30-11:00	Coffee Break
11:00-12:30	Session 1: (Chair: David Redmiles) Requirements, Interfaces and Groupware An Empirical Study on Groupware Support for Software Inspection Meetings, Paul Gruenbacher, Michael Halling, Stefan Biffl Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach, Mehrdad Sabetzadeh, Steve Easterbrook Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications, Andrew Strelzoff, Linda Petzold
12:30-2:00	Lunch (Holiday Inn, 420, Sherbrooke St. West)
2:00-3:30	Session 2 (Parallel, Chair: Andrew Ireland) Testing I Fault Localization With Nearest Neighbor Queries, Manos Renieris, Steven Reiss Tool-Assisted Unit Test Selection Based on Operational Violations, Tao Xie, David Notkin A New Structural Coverage Criteria for Dynamic Detection of Program Invariants, Neelam Gupta, Zachary V. Heideprie
2:00-3:30	Session 3 (Parallel, Chair: Robert J. Hall) Software Architectures and Distributed Systems DeCo: A Declarative Coordination Framework for Scientific Model Federations, Dean Herington, David Stotts A Programmable Client-Server Model: Robust Extensibility via DSLs, Laurent Réveillère, Charles Consel Specification and Synthesis of Hybrid Automata for Physics-Based Animation, Thomas Ellman
3:30-7:00	Excursions around Montreal (on your own)
7:00	Welcome Reception (Les Trois brasseurs)

Thursday 9th October 2003 (Delta Hotel - 475, President-Kennedy Avenue, Mezzanine Level)

8:00-9:00	Registration
9:00-10:00	Keynote session: (Chair: John Penix) Anthony Finkelstein (University College London) Many a slip: from research prototype to industry-strength software
10:00-10:30	Coffee Break
10:30-12:30	Session 4 (Chair: Tom Ellman) Software Evolution and Maintenance On the automatic evolution of an OS kernel using temporal logic and AOP, Rickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur Unspeculation, Noah Snavely, Saumya Debray, Gregory Andrews SPQR: Flexible Automated Design Pattern Extraction From Source Code, Jason McC. Smith, David Stotts Automatically Inferring Concern Code from Program Investigation Activities, Martin P. Robillard, Gail C. Murphy
12:30-2:00	Lunch (Holiday Inn, 420, Sherbrooke St. West)
2:00-3:30	Posters 1 (Parallel): A Model-Driven Approach to the Non-Functional Analysis of Software Architectures, James Skene, Wolfgang Emmerich Extending Diagnosis to Debug Programs With Exceptions, Wolfgang Mayer, Markus Stumptner Generating Design Pattern Detectors from Pattern Specifications, Dirk Heuzeroth, Welf Löwe, Stefan Mandel Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks, Lan Guo, Bojan Cukic, Harshinder Singh Automatic Fault Localization and Behavior Verification for Physical System Simulation Models, Peter Bunus, Peter Fritzson Automatic Generation of Content Management Systems from EER-Based Specifications, Sebastiano Vigna Automated Requirements-based Generation of Test Cases for Product Families, Clémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel XRay Views: Understanding the Internals of Classes, Gabriela Arevalo, Stephane Ducasse, Oscar Nierstrasz Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations, Christopher Turner, T.C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Arthur G. Ryman A Pragmatic Study of Binary Class Relationships, Yann-Gaël Guéhéneuc, Hervé Albin-Amiot The Features Signatures of Evolving Programs, Daniel Licata, Christopher D. Harris, Shriram Krishnamurthi Theoretical Foundations of Updating Systems, Hannah Harris, Mark Ryan An Incremental Approach to Task-Specific Information Delivery in SE Processes, Harald Holz
2:00-3:30	Demos 1 (Parallel) AGENDA tool set, Deng Yuetang GOTECH:Aspectizing Server-Side Distribution, Eli Tilevich Model-Based Test Generator BZ-Testing-Tools, Bruno Legeard GReAT: A Metamodel Based Model Transformation Language, Aditya Agrawal UCEd: a tool for Use Cases based requirements acquisition, Stéphane S. Somé
3:30-4:00	Coffee Break
4:00-5:30	Session 5 (Chair: Charles Pecheur) Model Checking Debugging Overconstrained Declarative Models Using Unsatisfiable Cores, Ilya Shlyakhter, Robert Seater, Manu Sridharan, Mana Taghdiri, Daniel Jackson Parallel Breadth-First Search LTL Model-Checking, Jiri Barnat, Lubos Brim, Jakub Chaloupka Automated Environment Generation for Software Model Checking, Oksana, Tkachuk, Matthew Dwyer, Corina Pasareanu
7:00	Banquet (Auberge Le Saint-Gabriel)

Friday 10th October 2003 (Delta Hotel - 475, President-Kennedy Avenue, Mezzanine Level)

8:00-9:00	Registration
9:00-10:30	Session 6 (Chair: Shriram Krishnamurthi) Software Components Aspectizing Server-Side Distribution, Eli Tilevich, Stephan Urbanski, Yannis Smaragdakis, Marc Fleury Automating Component Adaptation for Reuse, Brandon Morel, Perry Alexander Model-based Verification of Web Service Compositions, Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Krame
10:30-11:00	Coffee Break
11:00-12:30	Posters 2 (Parallel): Test Suite Design for Code Generation Tools, Ingo Stuermer, Mirko Conrad Architecture Style-Based Calculi for Non-functional Properties, David Wile Certifying Measurement Unit Safety Policy, Grigore Rosu, Feng Chen Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search, Eugenia Diaz, Javier Tuya, Raquel Blanco Model Checking Software Requirement Specifications Using Domain Reduction Abstraction, Yunja Choi, Mats Heimdahl An Approach for Tracing and Understanding Asynchronous Systems, Scott Hendrickson, Eric Dashofy, Adrita Bhor, Richard Taylor, Santiago Li, Nghi Nguyen Refactoring C with Conditional Compilation, Alejandra Garrido, Ralph Johnson A Java Component Model for Evolving Software Systems, Moacir Silva, Paulo Guerra, Cecília Rubira Depiction and Playout of Multi-threaded Program Executions, Abhik Roychoudhury Automating the Analysis of Planetary Nebulae Images, Bernd Fischer, Johann Schumann Automation for Exception Freedom Proofs, Bill Ellis, Andrew Ireland Overview of Open-model Based Validation with Partial Information, Robert Hall, Andrea Zisman
11:00-12:30	Demos 2 (Parallel) PRIME: A Tool for Task-Specific Knowledge Discovery, Harald Holz A Pragmatic Study of Binary Class Relationships, Hervé Albin-Amiot and Yann-Gaël Guéhéneuc The Alloy Analyzer, Ilya A Shlyakhter J-Orchestra: Automatic Java Application Partitioning, Eli Tilevich
12:30-2:00	Lunch (Holiday Inn, 420, Sherbrooke St. West)
2:00-3:30	Session 7 (Chair: Debra J. Richardson) Testing II What Test Oracle Should I Use for Effective Testing?, Atif Memon, Ishan Banerjee, Adithya Nagarajan Statically Finding Errors in Spreadsheets, Yanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi Testing Database Transaction Concurrency, Yuetang Deng, Phyllis Frankl, Zhongqiang Chen
3:30-4:00	Coffee Break
4:00-5:00	Conference Close and presentation of ASE 2004