Algebraic Methodology and Software Technology (AMAST’93) - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer London

9783540198529, 9781447132271

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the value of commutative diagrams in information modelling

Algebraic Methodology and Software Technology (AMAST’93) - Workshops in Computing ◽

10.1007/978-1-4471-3227-1_5 ◽

1994 ◽

pp. 45-58 ◽

Cited By ~ 7

Author(s):

Michael Johnson ◽

C. N. G. Dampney

Keyword(s):

Information Modelling

Download Full-text

RELVIEW — A Computer System for the Manipulation of Relations

Algebraic Methodology and Software Technology (AMAST’93) - Workshops in Computing ◽

10.1007/978-1-4471-3227-1_43 ◽

1994 ◽

pp. 403-404 ◽

Cited By ~ 3

Author(s):

Rudolf Berghammer ◽

Gunther Schmidt

Keyword(s):

Computer System

Download Full-text

Automated Proof of the Correctness of a Compiling Specification

Algebraic Methodology and Software Technology (AMAST’93) - Workshops in Computing ◽

10.1007/978-1-4471-3227-1_42 ◽

1994 ◽

pp. 393-400 ◽

Cited By ~ 2

Author(s):

E. A. Scott

Keyword(s):

Automated Proof

Download Full-text

Abstract and Concrete Objects — An Algebraic Design Method for Object-Based Systems

Algebraic Methodology and Software Technology (AMAST’93) - Workshops in Computing ◽

10.1007/978-1-4471-3227-1_36 ◽

1994 ◽

pp. 343-348 ◽

Cited By ~ 2

Author(s):

Ruth Breu ◽

Michael Breu

Keyword(s):

Design Method ◽

Object Based ◽

Concrete Objects

Download Full-text

On using a Composition Principle to Design Parallel Programs

Algebraic Methodology and Software Technology (AMAST’93) - Workshops in Computing ◽

10.1007/978-1-4471-3227-1_33 ◽

1994 ◽

pp. 315-324 ◽

Cited By ~ 2

Author(s):

Abdelillah Mokkedem ◽

Dominique Méry

Keyword(s):

Parallel Programs

Download Full-text

Towards Performance Evaluation in Process Algebras

Algebraic Methodology and Software Technology (AMAST’93) - Workshops in Computing ◽

10.1007/978-1-4471-3227-1_30 ◽

1994 ◽

pp. 289-296 ◽

Cited By ~ 9

Author(s):

Roberto Gorrieri ◽

Marco Roccetti

Keyword(s):

Performance Evaluation ◽

Process Algebras

Download Full-text

Real-Time Program Synthesis from Specifications

Algebraic Methodology and Software Technology (AMAST’93) - Workshops in Computing ◽

10.1007/978-1-4471-3227-1_24 ◽

1994 ◽

pp. 237-244

Author(s):

A. Cornell ◽

J. Knaack ◽

A. Nangia ◽

T. Rus

Keyword(s):

Real Time ◽

Program Synthesis

Download Full-text

Algebraic-Oriented Institutions

Algebraic Methodology and Software Technology (AMAST’93) - Workshops in Computing ◽

10.1007/978-1-4471-3227-1_20 ◽

1994 ◽

pp. 201-208

Author(s):

M. Cerioli ◽

G. Reggio

Download Full-text

Peirce Algebras

Algebraic Methodology and Software Technology (AMAST’93) - Workshops in Computing ◽

10.1007/978-1-4471-3227-1_15 ◽

1994 ◽

pp. 163-166

Author(s):

Chris Brink ◽

Katarina Britz ◽

Renate A. Schmidt

Download Full-text

Executing Action Semantic Descriptions using ASF+SDF

Algebraic Methodology and Software Technology (AMAST’93) - Workshops in Computing ◽

10.1007/978-1-4471-3227-1_48 ◽

1994 ◽

pp. 413-414

Author(s):

Arie van Deursen ◽

Peter D. Mosses

Download Full-text

Algebraic Methodology and Software Technology (AMAST’93) - Workshops in ComputingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer London

On the value of commutative diagrams in information modelling

RELVIEW — A Computer System for the Manipulation of Relations

Automated Proof of the Correctness of a Compiling Specification

Abstract and Concrete Objects — An Algebraic Design Method for Object-Based Systems

On using a Composition Principle to Design Parallel Programs

Towards Performance Evaluation in Process Algebras

Real-Time Program Synthesis from Specifications

Algebraic-Oriented Institutions

Peirce Algebras

Executing Action Semantic Descriptions using ASF+SDF

Algebraic Methodology and Software Technology (AMAST’93) - Workshops in Computing
Latest Publications