FASE at a glance

Monday

Tuesday

Wednesday

09:00

Constructs, concepts and criteria for reuse in concurrent object-oriented languages, U.Lechner (U St.Gallen, CH)

Navigation expressions in object-oriented modelling, A.Hamie, J.Howse and S.Kent (U Brighton, UK)

Algebra transformation systems and their composition, M.Große-Rhode (U Pisa, I)

09:00

Invited Lecture

Some mistakes I made and what I learned from them

Cliff Jones (Harlequin Ltd, UK)

09:00

Invited Lecture

Extreme programming: a humanistic discipline of programming

Kent Beck (CSLife, CH)

10:30

Coffee

10:00

Coffee

10:00

Coffee

11:00

Reflections on the design of a specification language, S.Kahrs and D.Sannella (U Edinburgh, UK)

Behaviour analysis and safety conditions: a case study in CML, H.Riis Nielson, T.Amtoft and F.Nielson (Aarhus U, DK)

Observational proofs with critical contexts, N.Berregeb, A.Bouhoula and M.Rusinowitch (CRIN, F)

10:30

Demos:

ALBERT: a formal language and its supporting tools for requirements engineering, E.Dubois (U Namur, B)

RELVIEW - a system for calculating with relations and relational programming, R.Behnke, R.Berghammer, E. Meyer and P.Schneider (U Kiel, D)

MOBY/PLC - a Design Tool for Hierarchical Real-Time Automata, J.Tapken (U Oldenburg, D)

10:30

Specifying safety-critical embedded systems with Statecharts and Z: an agenda for cyclic software components, W.Grieskamp, M.Heisel (TU Berlin, D) and H.Doerr (Daimler-Benz, D)

Specifying safety-critical embedded systems with Statecharts and Z: a case study, R.Büssow, R.Geisler (TU Berlin, D) and M.Klar (Fraunhofer Institut, D)

A refinement calculus for Statecharts, P.Scholz (TU Munich, D)

Backtracking-free design planning by automatic synthesis in METAFrame, T.Margaria (U Passau, D) and B.Steffen (U Dortmund, D)

12:30

Lunch

12:30

Lunch

12:30

Lunch

14:30

Invited Lecture

Generalizing domain theory

Michael Mislove (Tulane U, USA)

14:30

Compositional verification of distributed systems specified by graph transformation, R.Heckel (U Pisa, I)

A rule-based refinement of high-level nets preserving safety properties, J.Padberg, M.Gajewsky and C.Ermel (TU Berlin, D)

Refining formal specifications of human computer interaction by graph rewrite rules, B.Sucrow (U Essen, D)

Distributed safety controllers for web services, A.Sandholm and MI.Schwartzbach (U Aarhus, DK)

15:30

Coffee

16:30

Coffee

16:00

Specifying and analyzing dynamic software architectures, R.Allen (IBM, USA), R.Douence (IRISA, F) and D.Garlan (CMU, USA)

Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms, JN.Reed (Oxford Brookes U, UK), DM.Jackson (Praxis Critical Systems, USA), DM.Deianov and GM.Reed (Oxford U, UK)

Integrating AORTA with model-based data specification languages, S.Bradley (Durham U, UK), W.Henderson, D.Kendall and A.Robson (U Northumbria at Newcastle, UK)

Model-checking CSP-Z, A.Mota and A.Sampaio (U Pernambuco, Br)

17:00

Panel discussion

Paradigms of software science - technical versus human aspects

chair: Kai Koskimies (NRC/Hki, FI)

18:00

Close

18:30

Close