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

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540675303, 9783540454991
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Step by Step to Histories

2000 ◽  
pp. 11-25 ◽  
Author(s):  
Max Breitling ◽  
Jan Philipps

Extended Institutions for Testing

2000 ◽  
pp. 514-528 ◽  
Author(s):  
Marielle Doche ◽  
Virginie Wiels

A Reuse-Oriented Framework for Hierarchical Specifications

2000 ◽  
pp. 438-453 ◽  
Author(s):  
Sophie Coudert ◽  
Pascale Le Gall

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

2000 ◽  
pp. 407-421 ◽  
Author(s):  
Christiano de O. Braga ◽  
E. Hermann Haeusler ◽  
José Meseguer ◽  
Peter D. Mosses
Keyword(s):  
Rewriting Logic ◽  
Action Semantics

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

2000 ◽  
pp. 273-292 ◽  
Author(s):  
Egidio Astesiano ◽  
Maura Cerioli ◽  
Gianna Reggio

Message Authentication through Non Interference

2000 ◽  
pp. 258-272 ◽  
Author(s):  
Riccardo Focardi ◽  
Roberto Gorrieri ◽  
Fabio Martinelli
Keyword(s):  
Message Authentication
Load More ...
Sign in / Sign up

Export Citation Format

Share Document