Advertisement

Recent Trends in Data Type Specification

9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers

  • Editors
  • Hartmut Ehrig
  • Fernando Orejas
Conference proceedings ADT 1992, COMPASS 1992

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

Table of contents

  1. Front Matter
  2. Joseph A. Goguen, Razvan Diaconescu
    Pages 1-29
  3. Jean-Pierre Jouannaud
    Pages 30-52
  4. Eric G. Wagner
    Pages 79-97
  5. Mohamed Bettaz, Gianna Reggio
    Pages 98-112
  6. M. Cerioli, G. Reggio
    Pages 113-127
  7. S. Clérici, R. Jiménez, F. Orejas
    Pages 144-157
  8. G. Denker, M. Gogolla
    Pages 173-187
  9. Hartmut Ehrig, Julia Padberg, Leila Ribeiro
    Pages 188-206
  10. Martin Große-Rhode, Uwe Wolter
    Pages 207-219
  11. Rolf Hennicker, Friederike Nickl
    Pages 220-234
  12. Peter D. Mosses
    Pages 280-294
  13. F. Parisi Presicce, A. Pierantonio
    Pages 295-309
  14. Amílcar Sernadas, José Félix Costa, Cristina Sernadas
    Pages 337-350
  15. Back Matter

About these proceedings

Introduction

Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992.
The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions.

Keywords

Animation Datentypen Spezifikationen Ersetzungsverfahren Object-Oriented Specifications Objektorientierte Spezifikationen Specification Languages Spezifika algebra concurrency design language petri net semantics software software engineering

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-57867-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57867-3
  • Online ISBN 978-3-540-48361-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site