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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540675303, 9783540454991

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generalizing the Modal and Temporal Logic of Linear Time

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

10.1007/3-540-45499-3_6 ◽

2000 ◽

pp. 41-56 ◽

Cited By ~ 2

Author(s):

Bernhard Heinemann

Keyword(s):

Temporal Logic ◽

Linear Time ◽

Modal And Temporal Logic

Download Full-text

Step by Step to Histories

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

10.1007/3-540-45499-3_4 ◽

2000 ◽

pp. 11-25 ◽

Cited By ~ 16

Author(s):

Max Breitling ◽

Jan Philipps

Download Full-text

Extended Institutions for Testing

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

10.1007/3-540-45499-3_36 ◽

2000 ◽

pp. 514-528 ◽

Cited By ~ 4

Author(s):

Marielle Doche ◽

Virginie Wiels

Download Full-text

MIX(FL): A Kernel Language of Mixin Modules

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

10.1007/3-540-45499-3_32 ◽

2000 ◽

pp. 454-468

Author(s):

Davide Ancona

Download Full-text

A Reuse-Oriented Framework for Hierarchical Specifications

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

10.1007/3-540-45499-3_31 ◽

2000 ◽

pp. 438-453 ◽

Cited By ~ 1

Author(s):

Sophie Coudert ◽

Pascale Le Gall

Download Full-text

Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic

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

10.1007/3-540-45499-3_29 ◽

2000 ◽

pp. 407-421 ◽

Cited By ~ 12

Author(s):

Christiano de O. Braga ◽

E. Hermann Haeusler ◽

José Meseguer ◽

Peter D. Mosses

Keyword(s):

Rewriting Logic ◽

Action Semantics

Download Full-text

Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML

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

10.1007/3-540-45499-3_21 ◽

2000 ◽

pp. 273-292 ◽

Cited By ~ 4

Author(s):

Egidio Astesiano ◽

Maura Cerioli ◽

Gianna Reggio

Download Full-text

Invited Talk: ASM Formalware in the Software Engineering Cycle

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

10.1007/3-540-45499-3_15 ◽

2000 ◽

pp. 197-197 ◽

Cited By ~ 1

Author(s):

Yuri Gurevich

Keyword(s):

Software Engineering

Download Full-text

Meta Languages in Algebraic Compilers

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

10.1007/3-540-45499-3_10 ◽

2000 ◽

pp. 119-134 ◽

Cited By ~ 1

Author(s):

Eric Van Wyk

Download Full-text

Message Authentication through Non Interference

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

10.1007/3-540-45499-3_20 ◽

2000 ◽

pp. 258-272 ◽

Cited By ~ 12

Author(s):

Riccardo Focardi ◽

Roberto Gorrieri ◽

Fabio Martinelli

Keyword(s):

Message Authentication

Download Full-text

Algebraic Methodology and Software Technology - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Generalizing the Modal and Temporal Logic of Linear Time

Step by Step to Histories

Extended Institutions for Testing

MIX(FL): A Kernel Language of Mixin Modules

A Reuse-Oriented Framework for Hierarchical Specifications

Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic

Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML

Invited Talk: ASM Formalware in the Software Engineering Cycle

Meta Languages in Algebraic Compilers

Message Authentication through Non Interference

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