Recent Trends in Data Type Specification - Informatik-Fachberichte
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540160779, 9783662096918

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Final Algebra Semantics for Errors and Exceptions

Recent Trends in Data Type Specification - Informatik-Fachberichte ◽

10.1007/978-3-662-09691-8_8 ◽

1985 ◽

pp. 89-103 ◽

Cited By ~ 3

Author(s):

Martin Gogolla

Download Full-text

Some Thoughts on Algebraic Specification

Recent Trends in Data Type Specification - Informatik-Fachberichte ◽

10.1007/978-3-662-09691-8_4 ◽

1985 ◽

pp. 31-38 ◽

Cited By ~ 3

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Keyword(s):

Algebraic Specification

Download Full-text

Transformation of Interface Specifications

Recent Trends in Data Type Specification - Informatik-Fachberichte ◽

10.1007/978-3-662-09691-8_12 ◽

1985 ◽

pp. 156-170

Author(s):

Bernd Krieg-Brückner

Download Full-text

Categorical Semantics, Or Extending Data Types to Include Memory

Recent Trends in Data Type Specification - Informatik-Fachberichte ◽

10.1007/978-3-662-09691-8_1 ◽

1985 ◽

pp. 1-21 ◽

Cited By ~ 4

Author(s):

Eric G. Wagner

Keyword(s):

Data Types ◽

Categorical Semantics

Download Full-text

OSI Transport Service Considered as an Abstract Data Type

Recent Trends in Data Type Specification - Informatik-Fachberichte ◽

10.1007/978-3-662-09691-8_9 ◽

1985 ◽

pp. 104-118 ◽

Cited By ~ 1

Author(s):

Klaus Peter Hasler ◽

Jan de Meer

Keyword(s):

Data Type ◽

Abstract Data Type ◽

Transport Service ◽

Abstract Data

Download Full-text

Towards Abstract User Interfaces for Formal System Specifications

Recent Trends in Data Type Specification - Informatik-Fachberichte ◽

10.1007/978-3-662-09691-8_7 ◽

1985 ◽

pp. 73-88 ◽

Cited By ~ 1

Author(s):

Hartmut Ehrig ◽

Werner Fey ◽

Horst Hansen

Keyword(s):

User Interfaces ◽

Formal System

Download Full-text

Implementation Specifications

Recent Trends in Data Type Specification - Informatik-Fachberichte ◽

10.1007/978-3-662-09691-8_5 ◽

1985 ◽

pp. 39-53 ◽

Cited By ~ 7

Author(s):

Christoph Beierle ◽

Angelika Voß

Download Full-text

Automatic Prototyping of Algebraic Specifications using Prolog

Recent Trends in Data Type Specification - Informatik-Fachberichte ◽

10.1007/978-3-662-09691-8_16 ◽

1985 ◽

pp. 207-223 ◽

Cited By ~ 4

Author(s):

H. Petzsch

Keyword(s):

Algebraic Specifications

Download Full-text

Passing Compatibility is Almost Persistency

Recent Trends in Data Type Specification - Informatik-Fachberichte ◽

10.1007/978-3-662-09691-8_15 ◽

1985 ◽

pp. 196-206 ◽

Cited By ~ 1

Author(s):

F. Orejas ◽

C. R. I. Nancy

Download Full-text

Axiomatising Specification Theory

Recent Trends in Data Type Specification - Informatik-Fachberichte ◽

10.1007/978-3-662-09691-8_13 ◽

1985 ◽

pp. 171-177 ◽

Cited By ~ 5

Author(s):

Tom Maibaum ◽

Martin Sadler

Keyword(s):

Specification Theory

Download Full-text

Recent Trends in Data Type Specification - Informatik-FachberichteLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Final Algebra Semantics for Errors and Exceptions

Some Thoughts on Algebraic Specification

Transformation of Interface Specifications

Categorical Semantics, Or Extending Data Types to Include Memory

OSI Transport Service Considered as an Abstract Data Type

Towards Abstract User Interfaces for Formal System Specifications

Implementation Specifications

Automatic Prototyping of Algebraic Specifications using Prolog

Passing Compatibility is Almost Persistency

Axiomatising Specification Theory

Recent Trends in Data Type Specification - Informatik-Fachberichte
Latest Publications