scientific article; zbMATH DE number 2088754

zbMATH Open1046.68663MaRDI QIDQ3045455FDOQ3045455

Gunter Saake, Nasreddine Aoumeur

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2348/23480296.htm

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cited In (4)

• The rewriting logic semantics project: a progress report
• Twenty years of rewriting logic
• Transformation of dynamic aspects of UML models into LOTOS behaviour expressions
• The Rewriting Logic Semantics Project: A Progress Report

Uses Software

• CoFI
• Maude

   Recommendations

• Title not available (Why is that?) 👍 👎
• A Heterogeneous Approach to UML Semantics 👍 👎
• Theoretical Aspects of Computing - ICTAC 2004 👍 👎
• Concurrency and refinement in the unified modeling language 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3045455)