Recent Trends in Data Type Specification: 3Rd Workshop On Theory And Applications Of Abstract Data Types Selected Papers (Informatik-Fachberichte): 116 - Tapa blanda

 
9783540160779: Recent Trends in Data Type Specification: 3Rd Workshop On Theory And Applications Of Abstract Data Types Selected Papers (Informatik-Fachberichte): 116
Tapa blanda
ISBN 10: 3540160779 ISBN 13: 9783540160779
Editorial: Springer, 1986

Sinopsis

This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (Germany) from November 13 to November 16, 1984. The workshop, as both its predecessors (Sorpesee, 1982 and Passau, 1983), brought together many researchers interested in algebraic specifications and related topics. It provided an opportunity to present the latest, even unfinished, work and to discuss the future trends and research problems. The remarkable progress of the field re­ ported at the workshop provoked this volume. The present collection of papers documents the recent developments and trends in data type and software specification in theory and in practice. The theoretical con­ tributions pursue four objectives: the 1 iberation of the specification methods from the underlying logic (Sannella and Tarlecki; Maibaum and Sadler), the extension of the algebraic theory of data types to meet adequately the semantics of imperative programming languages and the idea of observabil ity (Wagner; Hennicker and Wirsing; Moller and Dosch; Streicher), the adaption of stepwise-refinement techniques to spec­ ifications with loose semantics (Beierle and Voss) and error and exception handl ing (Gogolla; Poigne). The papers oriented more towards practice are harder to classify.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (Germany) from November 13 to November 16, 1984. The workshop, as both its predecessors (Sorpesee, 1982 and Passau, 1983), brought together many researchers interested in algebraic specifications and related topics. It provided an opportunity to present the latest, even unfinished, work and to discuss the future trends and research problems. The remarkable progress of the field re­ ported at the workshop provoked this volume. The present collection of papers documents the recent developments and trends in data type and software specification in theory and in practice. The theoretical con­ tributions pursue four objectives: the 1 iberation of the specification methods from the underlying logic (Sannella and Tarlecki; Maibaum and Sadler), the extension of the algebraic theory of data types to meet adequately the semantics of imperative programming languages and the idea of observabil ity (Wagner; Hennicker and Wirsing; Moller and Dosch; Streicher), the adaption of stepwise-refinement techniques to spec­ ifications with loose semantics (Beierle and Voss) and error and exception handl ing (Gogolla; Poigne). The papers oriented more towards practice are harder to classify.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
1986
Idioma
Inglés
ISBN 10 
3540160779
ISBN 13 
9783540160779
Encuadernación
Tapa blanda
Número de páginas
268
Editor
Kreowski Hans-J\Xf6rg
Contacto del fabricante
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Alemania

Otras ediciones populares con el mismo título

9780387160771: Recent Trends in Data Type Specifications: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers (Informatik-Fachberichte,)

Edición Destacada

ISBN 10:  0387160779 ISBN 13:  9780387160771
Tapa blanda