MONDAY, 8 April |
|
9.00 9.30 |
Welcome |
9.30 10.30 |
FASE Invited Talk Hellmuth Broda (Sun Microsystems (Schweiz) AG) Jini Software Architecture - The End of Protocols as we know them Session chair: Herbert Weber |
10.30 11.15 |
Coffee |
11.15 12.45 |
FASE Components & Architectures I: Formal Frameworks Session chair: Michael Perin (Grenoble, France) An Approach to Composition Motivated by wp Compositional Verification of Secure Applet Interactions A Generic Component Framework for System Modeling |
12.45 14.15 |
Lunch |
14.15 16.15 |
FASE Model and Program Analysis Session chair: Gabriele Taentzer (Paderborn, Germany) Implementing Condition/Event Nets in the Circal Process Algebra Integrated State Space Reduction for Model Checking Executable Object-oriented Software System Designs Model Generation by Moderated Regular Extrapolation Better Slicing of Programs with Jumps and Switches |
16.15 16.45 |
Coffee |
16.45 18.15 |
FASE Components & Architectures II: Architecture Descriptions Session chair: Herbert Weber (Berlin, Germany) Architectural Types Revisited: Extensible And/Or Connections Mapping an ADL to a Component-based Application Development Environment From EDOC components to CCM components: a precise mapping specification |
20.00 | Reception |
TUESDAY, 9 April |
|
9.00 10.00 |
ESOP Invited Talk Greg Morrisett (Cornell University, USA) Type Checking Systems Code Session chair: Daniel Le Métayer |
10.00 10.45 |
Coffee |
10.45 12.45 |
FASE Tool Demos Session chair: Peter Mosses The Coordination Development Environment The KeY System: Integrating Object-Oriented Design and Formal Methods ObjectCheck: A Model Checking Tool for Executable Object-oriented Software System Designs Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems |
12.45 14.15 |
Lunch |
14.15 15.15 |
TACAS Invited Talk Michael Lowry (NASA Ames Research Center) Software Construction and Analysis Tools for Future Space Missions Session chair: Perdita Stevens |
15.15 16.00 |
Coffee |
16.00 17.30 |
FASE Meta-models Session chair: Ralf-D. Kutsche (Berlin, Germany) Engineering Modelling Languages: A Precise Meta-Modelling Approach ATOM3: A Tool for Multi-formalism Modelling and Meta-modelling A Toolbox for Automating Visual Software Engineering |
17.30 17.45 |
Short Break |
17.45 18.45 |
FASE Formal Approaches towards UML Session chair: Martin Grosse-Rhode (Berlin, Germany) Enriching OCL using observational mu-calculus Formal Verification of UML Statecharts with Real-time Extensions |
18:45 19:30 |
EASST General Assembly Session chair: |
20.00 | nyd |
WEDNESDAY, 10 April |
|
9.00 10.00 |
ETAPS Invited Talk Daniel Jackson (MIT Lab for Computer Science) Alloy: A New Technology for Software Modelling Session chair: Susanne Graf |
10.00 10.45 |
Coffee |
10.45 12.45 |
FASE Requirements Engineering Session chair: Tiziana Margaria (Dortmund, Germany) An Authoring Tool for Informal and Formal Requirements Specifications Introducing Context-Based Constraints for Requirements Engineering Formal Requirements Engineering using Observer Models Automatic Generation of Use Cases from Workflows: a Petri net based approach |
12.45 14.15 |
Lunch |
14.15 15.15 |
ETAPS Invited Talk Mary Shaw (Carnegie Mellon University) What Makes Good Research in Software Engineering? Session chair: José Fiadeiro |
15.15 16.00 |
Coffee |
16.00 17.30 |
FASE Case tools Session chair: Marie-Claude Gaudel (Orsay, France) Meta-modeling Techniques Meet Web Application Design Tools Formal-Driven Conceptualization and Prototyping of Hypermedia Applications |