Abstracts of TalksBonas (France), 13th-14th September 1999Participation

Participation

The following have registered for the WG1.3 Meeting in Bonas (with topics where available, and with some links leading to some relevant papers):

Members (16):
Didier Bert

Michel Bidoit

Christine Choppy

Hartmut Ehrig

José Fiadeiro

Marie-Claude Gaudel

Bernd Krieg-Brückner

Peter D. Mosses

Fernando Orejas

Peter Padawitz
-- From (co)algebras and behavior realizations to swinging types

Francesco Parisi-Presicce

Horst Reichel
-- Kan extensions used as definition and proof schemata

P. S. Subramanian

Andrzej Tarlecki

Eric Wagner

Martin Wirsing
-- Correct Software Development with UML: From Classes to Programs
 

Observers (10):
Egon Börger
-- Modeling the Java Virtual Machine using ASM composition principles

Andrea Corradini
-- A review of the structured transition system method and its application to various rewriting formalisms

Kokichi Futatsugi
-- Behavioral Specification in CafeOBJ

Rolf Hennicker
-- Correct Software Development with UML: From Interfaces to Classes

Bart Jacobs
-- Coalgebras and Temporal Logic

Peter Gorm Larsen
-- Proof Rules for Combining Recursion and Underdeterminedness

Tom Maibaum
-- Rely/guarantee reconsidered; a tool for feature interaction

Till Mossakowski
-- CASL - from semantics to tools

Gianna Reggio

Pierre-Yves Schobbens


Edited by: Peter D. Mosses (pdmosses@brics.dk), January 19, 2004
IFIP WG1.3 Home Page: http://www.fiadeiro.org/jose/IFIP-WG1.3/

Abstracts of TalksBonas (France), 13th-14th September 1999Participation