Algebraic Methodology and Software Technology - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

41

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540223818, 9783540278153

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Agent-Oriented Programming: Where Do We Stand?

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27815-3_6 ◽

2004 ◽

pp. 23-26

Author(s):

John-Jules Charles Meyer

Download Full-text

Abstraction for Safety, Induction for Liveness

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27815-3_4 ◽

2004 ◽

pp. 20-20

Author(s):

Muffy Calder

Download Full-text

Expressing Iterative Properties Logically in a Symbolic Setting

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27815-3_35 ◽

2004 ◽

pp. 460-474

Author(s):

Carron Shankland ◽

Jeremy Bryans ◽

Lionel Morel

Download Full-text

Modularity and the Rule of Adaptation

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27815-3_31 ◽

2004 ◽

pp. 394-408 ◽

Author(s):

Cees Pierik ◽

Frank S. de Boer

Download Full-text

Modular Rewriting Semantics of Programming Languages

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27815-3_29 ◽

2004 ◽

pp. 364-378 ◽

Author(s):

José Meseguer ◽

Christiano Braga

Keyword(s):

Programming Languages ◽

Semantics Of Programming Languages

Download Full-text

Proof Support for RAISE by a Reuse Approach Based on Institutions

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27815-3_26 ◽

2004 ◽

pp. 319-333 ◽

Author(s):

Morten P. Lindegaard ◽

Anne E. Haxthausen

Download Full-text

A Hybrid Logic of Knowledge Supporting Topological Reasoning

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27815-3_17 ◽

2004 ◽

pp. 181-195 ◽

Author(s):

Bernhard Heinemann

Keyword(s):

Hybrid Logic ◽

Logic Of Knowledge ◽

Topological Reasoning

Download Full-text

Behavioural Types and Component Adaptation

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27815-3_8 ◽

2004 ◽

pp. 42-56 ◽

Author(s):

Antonio Brogi ◽

Carlos Canal ◽

Ernesto Pimentel

Keyword(s):

Behavioural Types

Download Full-text

On Refinement of Generic State-Based Software Components

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27815-3_38 ◽

2004 ◽

pp. 506-520 ◽

Author(s):

Sun Meng ◽

Luís S. Barbosa

Keyword(s):

Software Components

Download Full-text

Modal Kleene Algebra and Partial Correctness

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27815-3_30 ◽

2004 ◽

pp. 379-393 ◽

Author(s):

Bernhard Möller ◽

Georg Struth

Keyword(s):

Partial Correctness ◽

Download Full-text