© 1999

Recent Trends in Algebraic Development Techniques

13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers

  • José Luiz Fiadeiro
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1589)

Table of contents

  1. Front Matter
    Pages I-X
  2. Roberto Bruni, Fabio Gadducci, Ugo Montanari
    Pages 31-48
  3. Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas
    Pages 48-63
  4. Corina Cirstea
    Pages 63-78
  5. Andrea Corradini, Fabio Gadducci
    Pages 79-91
  6. Andrea Corradini, Martin Groβe-Rhode, Reiko Heckel
    Pages 92-106
  7. Sophie Coudert, Gilles Bernot, Pascale Le Gall
    Pages 107-121
  8. Rachid Echahed, Jean-Christophe Janodet
    Pages 122-138
  9. Martin Groβe-Rhode, Francesco Parisi Presicce, Marta Simeoni
    Pages 138-151
  10. Annegret Habel, Detlef Plump
    Pages 152-167
  11. Hélèene Kirchner, Pierre-Etienne Moreau
    Pages 168-183
  12. Till Mossakowski
    Pages 198-215
  13. Peter D. Mosses
    Pages 216-240
  14. Isabel Pita, Narciso Martí-Oliet
    Pages 261-276
  15. Pascal Poizat, Christine Choppy, Jean-Claude Royer
    Pages 277-293
  16. Jaime Ramos, Amílcar Sernadas
    Pages 293-309

About these proceedings


The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them ?nancially viable. Discussions aiming at a consolidation have been underway since at least 1992, with concrete planning beginning in summer 1994 and culminating in a public meeting at TAPSOFT’95 in Aarhus. On the basis of a broad consensus, it was decided to establish a single annual federated spring conference in the slot that was then occupied by TAPSOFT and CAAP/ESOP/CC, comprising a number of existing and new conferences and covering a spectrum from theory to practice. ETAPS’98, the ?rst instance of the European Joint Conferences on Theory and Practice of Software, is taking place this year in Lisbon. It comprises ?ve conferences (FoSSaCS, FASE, ESOP, CC, TACAS), four workshops (ACoS, VISUAL, WADT, CMCS), seven invited lectures, and nine tutorials.


Abstract Data Types Abstract Program Development Algebraic Specification ELAN Formal Methods Systems Design design logic semantics

Editors and affiliations

  • José Luiz Fiadeiro
    • 1
  1. 1.Department of InformaticsUniversity of LisbonLisbonPortugal

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment