Bonas (France), 13th-14th September 1999
Bonas (France), 13th-14th September 1999
The IFIP WG1.3 meeting at
Château de Bonas
(near Toulouse, France) lasted two full days (Monday 13 and Tuesday 14 September). It was followed by the
14th WADT
at Bonas, Wednesday 15-Saturday 18 September 1999. Thanks to
Didier Bert
and
Christine Choppy
for efficient local organization.
Participation
Abstracts of Talks
Horst Reichel: KAN Extensions used as Definition and Proof Schemata
Peter Padawitz: From (co)algebras and behavior realizations to swinging types
Bart Jacobs: Coalgebras and Temporal Logic
Peter Gorm Larsen: Proof Rules for Combining Recursion and Underdeterminedness
Egon Börger: Modeling the Java Virtual Machine using ASM composition principles
Till Mossakowski: CASL: from semantics to tools
Rolf Hennicker: Correct Software Development with UML: From Interfaces to Classes
Martin Wirsing: Software Development with OCL: From Classes to Programs
Andrea Corradini: A review of the structured transition system method and its application to various rewriting formalisms
Tom Maibaum: A rely-guarantee discipline for open distributed systems design
Kokichi Futatsugi: An overview of Specification and Verification in CafeOBJ
Edited by:
Peter D. Mosses
(
pdmosses@brics.dk
), January 19, 2004
IFIP WG1.3 Home Page:
http://www.fiadeiro.org/jose/IFIP-WG1.3/
Bonas (France), 13th-14th September 1999
