Genova (Italy), 30th-31st March 2001MeetingsChiemsee, near Munich (Germany), 22nd-24th September 2002L'Alpe d'Huez (France), 5th-9th January 2002

L'Alpe d'Huez (France), 5th-9th January 2002

An IFIP WG1.3 Meeting was held:
Saturday 5th to Wednesday 9th January 2002,
on L'Alpe d'Huez, near Grenoble (France).

The meeting was organized by Christine Choppy

  • Participation
  • Abstracts of Talks
  • José Meseguer: A Total Approach to Partial Algebraic Specification
  • Rolf Hennicker: Specifying component invariants with OCL
  • Hans-Dieter Ehrich: Fully Automatic Compositional Model Checking
  • Nazareno Aguirre: A Specification Language for Reconfigurable OO Systems
  • Dominique Duval: An introduction to diagrammatic specifications
  • Andrea Corradini: Categorical Rewriting of Term-like Structures
  • Don Sannella: Testing Modular Systems Against CASL Architectural Specifications
  • Fernando Orejas: A generic component framework for system modeling
  • Marie-Claude Gaudel: Applying Average-case Complexity Analysis to Statistical Testing Methods
  • Tom Maibaum: E-Contract Fulfilment and Agents' Attitudes
  • Hans-Joerg Kreowski: GRACE - a GRAph- and rule-CEntered approach to system specification
  • José Fiadeiro: Feature Calling Considered Harmful: Coordination Technologies for Service Orchestration
  • Andrzej Tarlecki: Enriched Signatures and Amalgamation for CASL Models
  • Till Mossakowski: Simplified Heterogeneous Specification
  • Pierre-Yves Schobbens: Approximation of ATL* in ATL
  • Didier Bert: Event System Specification in B and Representation as Finite Labelled Transition Systems
  • Peter D. Mosses: Modular Operational Semantics
    • Edited by: Peter D. Mosses (pdmosses@brics.dk), January 19, 2004
    IFIP WG1.3 Home Page: http://www.fiadeiro.org/jose/IFIP-WG1.3/

    Genova (Italy), 30th-31st March 2001MeetingsChiemsee, near Munich (Germany), 22nd-24th September 2002L'Alpe d'Huez (France), 5th-9th January 2002