Lecture Notes in Computer Science - Algebraic Specification Techniques in Object Oriented Programming Environments
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540549727, 9783540466222

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Final remarks

Lecture Notes in Computer Science - Algebraic Specification Techniques in Object Oriented Programming Environments ◽

10.1007/3-540-54972-2_8 ◽

1991 ◽

pp. 195-198

Download Full-text

OP — An object oriented kernel programming language

Lecture Notes in Computer Science - Algebraic Specification Techniques in Object Oriented Programming Environments ◽

10.1007/3-540-54972-2_6 ◽

1991 ◽

pp. 113-154

Keyword(s):

Programming Language ◽

Object Oriented

Download Full-text

A theory of inheritance, subtyping and clientship

Lecture Notes in Computer Science - Algebraic Specification Techniques in Object Oriented Programming Environments ◽

10.1007/3-540-54972-2_4 ◽

1991 ◽

pp. 45-63

Download Full-text

A semantic framework of abstract data types

Lecture Notes in Computer Science - Algebraic Specification Techniques in Object Oriented Programming Environments ◽

10.1007/3-540-54972-2_3 ◽

1991 ◽

pp. 27-43

Keyword(s):

Abstract Data Types ◽

Data Types ◽

Semantic Framework ◽

Abstract Data

Download Full-text

An integrated environment of classes and algebraic specifications — Basic notions and concepts

Lecture Notes in Computer Science - Algebraic Specification Techniques in Object Oriented Programming Environments ◽

10.1007/3-540-54972-2_2 ◽

1991 ◽

pp. 11-26

Keyword(s):

Algebraic Specifications ◽

Integrated Environment

Download Full-text

Introduction

Lecture Notes in Computer Science - Algebraic Specification Techniques in Object Oriented Programming Environments ◽

10.1007/3-540-54972-2_1 ◽

1991 ◽

pp. 1-10

Download Full-text

OS — An object oriented algebraic specification language

Lecture Notes in Computer Science - Algebraic Specification Techniques in Object Oriented Programming Environments ◽

10.1007/3-540-54972-2_5 ◽

1991 ◽

pp. 65-111 ◽

Cited By ~ 3

Keyword(s):

Object Oriented ◽

Specification Language ◽

Algebraic Specification

Download Full-text

An integrated design environment of classes and algebraic specifications

Lecture Notes in Computer Science - Algebraic Specification Techniques in Object Oriented Programming Environments ◽

10.1007/3-540-54972-2_7 ◽

1991 ◽

pp. 155-193

Keyword(s):

Integrated Design ◽

Design Environment ◽

Algebraic Specifications ◽

Integrated Design Environment

Download Full-text

Lecture Notes in Computer Science - Algebraic Specification Techniques in Object Oriented Programming EnvironmentsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Final remarks

OP — An object oriented kernel programming language

A theory of inheritance, subtyping and clientship

A semantic framework of abstract data types

An integrated environment of classes and algebraic specifications — Basic notions and concepts

Introduction

OS — An object oriented algebraic specification language

An integrated design environment of classes and algebraic specifications

Lecture Notes in Computer Science - Algebraic Specification Techniques in Object Oriented Programming Environments
Latest Publications