Lisbon (Portugal), 5th April 1998MeetingsStanford (California), 29th June -- 1st July 2000Bonas (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/

    Lisbon (Portugal), 5th April 1998MeetingsStanford (California), 29th June -- 1st July 2000Bonas (France), 13th-14th September 1999