WADT'99 Bonas, France 15-18 September 1999

Home page

Invited Speakers

• Michel Bidoit (LSV, CNRS and ENS Cachan, France)
  From requirements to software in CASL.
  
  
• Manfred Broy (TU München, Germany)
  From States to Histories.
  
  
• Bart Jacobs (University of Nijmegen, Netherlands)
  Reasoning about Java.
  
  
• Natarajan Shankar (SRI International, Menlo Park, USA)
  PVS: Principles and Pragmatics.
  
  

Selected Abstracts

• Michel Allemand and Christian Attiogbé
  Practical combination of specification formalisms
  
  
• Davide Ancona, Maura Cerioli and Elena Zucca
  Extending Casl by Late Binding
  
  
• Pascal André and Jean-Claude Royer
  A First Algebraic Approach to Heterogeneous Software Systems
  
  
• Serge Autexier, Dieter Hutter, Heiko Mantel and Axel Schairer
  Towards an Evolutionary Formal Software-Development Using CASL
  
  
• Egon Börger and Joachim Schmid
  Submachine and Composition Principles for ASMs
  
  
• Diane Bahrami
  A General Framework for Equational Logics
  
  
• Donald Baillie
  Proving Theorems about CASL Specifications
  
  
• Paolo Baldan, Andrea Corradini and Ugo Montanari
  History Preserving Bisimulations for Contextual nets
  
  
• Luis S. Barbosa
  A Coalgebraic Approach to Process Refinement
  
  
• Hubert Baumeister
  Relating Abstract Datatypes and Z-Schemata
  
  
• Didier Bert and Stéphane Lo-Presti
  Algebraic Specification of Operator-based Multimedia Presentations
  
  
• Michel Bidoit and Rolf Hennicker
  Refining Observational Specifications
  
  
• Tomasz Borzyszkowski
  High Order Logic and Theorem Proving for Structured Specifications
  
  
• Jean-Louis Boulanger and Marcel Gallardo
  Property-based Validation Process
  
  
• Omar Boucelma
  Specification of database queries : a combinator based approach
  
  
• Maura Cerioli and Gianna Reggio
  Basic CASL at Work: a Compass for the Labyrinth of Partiality, Subsorting and Predicates
  
  
• P. Champagnoux, L. Duchien, D. Enselme and G. Florin
  Cooperative Abstract Data Types
  
  
• Christine Choppy, Pascal Poizat and Jean-Claude Royer
  Control and Datatypes using a Multiview Formalism.
  
  
• Christine Choppy and Gianna Reggio
  Using CASL to specify the requirements: a problem specific approach
  
  
• Andrea Corradini, Fabio Gadducci and Wolfram Kahl
  On the notion of `term' for multi-algebras.
  
  
• Nachum Dershowitz
  Sharing Constructors
  
  
• Theodosis Dimitrakos
  On specifications parametrised by diagrams
  
  
• Francisco Duran and José Meseguer
  Structured Theories and Maude's Module Algebra
  
  
• Liliana Favre and Silvia Clérici
  A bridge between UML class diagrams and algebraic specifications
  
  
• Kokichi Futatsugi and Razvan Diaconescu
  An overview of Specification and Verification in CafeOBJ
  
  
• E. Pascal Gribomont
  Incremental design of reactive systems
  
  
• Jo Hannay
  Algebraic specification refinement with system F
  
  
• Magne Haveraaen
  Guarded Algebras: Disguising partiality so you won't know whether its there
  
  
• Anne Haxthausen, Till Mossakowski and Bernd Krieg-Brückner
  Subsorted Partial Higher-Order Logic as an Extension of CASL
  
  
• Kathrin Hoffmann, Hartmut Ehrig and Uwe Wolter
  Folding and Unfolding Construction between Algebraic High Level Nets and Regular Algebraic Higher Order Nets
  
  
• Jean-Michel Hufflen
  Presentations with Exceptions as Order-Sorted Presentations
  
  
• Heinrich Hussmann, Maura Cerioli, Gianna Reggio and Françoise Tort
  Abstract Data Types and UML Models
  
  
• Rosa Jiménez and Fernando Orejas
  A model-based semantics to higher-order parameterizations
  
  
• Hélène Jouve
  Cooperation between testing and proving technics
  
  
• Yoshiki Kinoshita
  Data refinement as a part of free generation
  
  
• Yngve Lamo and Michal Walicki
  Specification of partiality with nondeterminism
  
  
• Ulrike Lechner
  Media - Concept, Formalization and Architecture
  
  
• Franck Ledoux
  A formal specification formalism dedicated to geometric modeling.
  
  
• Kazem Lellahi and Alexandre Zamulin
  Dynamic systems based on update sets
  
  
• Alexander Letichevsky and David Gilbert
  A model for interaction of agents and environments
  
  
• Junbo Liu and Zhenyu Qian
  Specware(TM) Refinement for basic specifications in CASL
  
  
• Antónia Lopes and José Luiz Fiadeiro
  A New Look at the Categorical View of Systems
  
  
• Hugo Lourenço, Amílcar Sernadas, Cristina Sernadas and Paulo Mateus
  An Institution of Hybrid Systems
  
  
• Patricia D. L. Machado
  Testing from Structured Algebraic Specifications
  
  
• Savi Maharaj
  Towards a Method of Test Case Extraction from Correctness Proofs
  
  
• T. S. E. Maibaum
  The MENSURAE language: specifying business processes!
  
  
• Mourad Maouche and Mohamed Bettaz
  How to Improve Concurrency in Maude
  
  
• Alfio Martini and Uwe Wolter
  Different Formalizations of Logic Representation in view of Multiparadigm Languages
  
  
• Paulo Mateus, Amílcar Sernadas and Cristina Sernadas
  Combining Probabilistic Automata : Categorial Approach
  
  
• Till Mossakowski and Andrzej Tarlecki
  Specifications in an arbitrary institution with symbols
  
  
• Ataru Nakagawa
  Algebra-coalgebra structures and bialgebras
  
  
• Fernando Orejas and Elvira Pino
  A general algebraic framework for studying modular systems
  
  
• Peter Padawitz
  Hidden types and modal logic
  
  
• Julia Padberg and Kathrin Hoffmann
  Horizontal and Vertical Structuring in a Uniform Approach to Petri Nets
  
  
• Gianna Reggio and Lorenzo Repetto
  CASL-CHARTS
  
  
• Horst Reichel
  A uniform model theory for the specification of data and process types
  
  
• Markus Roggenbach and Till Mossakowski
  Specifying real numbers in CASL
  
  
• Grigore Rosu
  Abstract Semantics for Module Composition
  
  
• Don Sannella
  Implementation of higher-order specifications
  
  
• Dmitri Schamschurko
  A Specification of the CORBA Communication Layer in the Ambient Calculus.
  
  
• Pierre-Yves Schobbens
  The Scenario Notation: an extension of Allen calculus
  
  
• Gunnar Schröter and Uwe Wolter
  (Initial) Algebraic Models of CCS Specifications
  
  
• Sylviane R. Schwer
  A functional Temporal Model for dynamics information systems
  
  
• M. G. J. van den Brand and J. Scheerder
  Development of Parsing Tools for Casl using Generic Language Technology
  
  
• Nalini Venkatasubramanian and Carolyn Talcott
  A Semantic Framework for Specifying Composable Distributed Resource Management Activities
  
  
• Eric G. Wagner
  On the Category of CASL Signatures
  
  
• Martin Wirsing and John N. Crossley
  Programs from specification proofs
  
  
• Hirokazu Yatsu
  Observational Rewriting Relation for Describing Silent Action in Coalgebraic Specifications
  
  
• Alexandre V. Zamulin
  Generic Object Types in Abstract State Machines