Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540431596, 9783540456452

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Presentations for Abstract Context Institutions

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/3-540-45645-7_13 ◽

2002 ◽

pp. 256-279 ◽

Author(s):

Wiesław Pawłowski

Download Full-text

Verifying a Simple Pipelined Microprocessor Using Maude

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/3-540-45645-7_7 ◽

2002 ◽

pp. 128-151 ◽

Author(s):

N. A. Harman

Download Full-text

Verifying Architectural Specifications

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/3-540-45645-7_8 ◽

2002 ◽

pp. 152-175 ◽

Author(s):

Piotr Hoffman

Download Full-text

On the Compatibility of Model and Model-Class Transformations

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/3-540-45645-7_6 ◽

2002 ◽

pp. 109-127 ◽

Author(s):

Maike Gajewsky ◽

Francesco Parisi-Presicce

Keyword(s):

Download Full-text

Tight and Loose Semantics for Transformation Systems

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/3-540-45645-7_12 ◽

2002 ◽

pp. 238-255 ◽

Author(s):

Fernando Orejas ◽

Hartmut Ehrig ◽

Elvira Pino

Keyword(s):

Transformation Systems

Download Full-text

The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/3-540-45645-7_16 ◽

2002 ◽

pp. 328-343 ◽

Author(s):

Donald Sannella

Keyword(s):

Recent Progress ◽

Algebraic Specification ◽

Common Framework ◽

Download Full-text

Geometric Modelling with CASL

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/3-540-45645-7_9 ◽

2002 ◽

pp. 176-201 ◽

Author(s):

Franck Ledoux ◽

Agnès Arnould ◽

Pascale Le Gall ◽

Yves Bertrand

Keyword(s):

Geometric Modelling

Download Full-text

Combining Logics: Parchments Revisited

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/3-540-45645-7_3 ◽

2002 ◽

pp. 48-70 ◽

Author(s):

C. Caleiro ◽

P. Mateus ◽

J. Ramos ◽

A. Sernadas

Keyword(s):

Combining Logics

Download Full-text

Algebraic Abstractions

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/3-540-45645-7_2 ◽

2002 ◽

pp. 21-47

Author(s):

Michel Bidoit ◽

Alexandre Boisseau

Download Full-text

Towards Trustworthy Specification I: Consistency Checks

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/3-540-45645-7_15 ◽

2002 ◽

pp. 305-327 ◽

Author(s):

Markus Roggenbach ◽

Lutz Schröder

Download Full-text