scientific article; zbMATH DE number 2088754

zbMATH Open1046.68663MaRDI QIDQ3045455FDOQ3045455

Authors: Nasreddine Aoumeur, Gunter Saake 

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?)

Recommendations

• scientific article; zbMATH DE number 2086943
• A Heterogeneous Approach to UML Semantics
• Theoretical Aspects of Computing - ICTAC 2004
• Concurrency and refinement in the unified modeling language
• scientific article; zbMATH DE number 1569126

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
• The rewriting logic semantics project: a progress report
• Twenty years of rewriting logic
• Transformation of dynamic aspects of UML models into LOTOS behaviour expressions

Uses Software

• CoFI
• Maude

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)