A rewriting semantics for a software architecture description language

zbMATH Open1272.68109MaRDI QIDQ2848459FDOQ2848459

Authors: Alexandre Rademaker, Christiano Braga, Alexandre Sztajnberg 

Publication date: 26 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610500229X

Recommendations

• Coordination Models and Languages
• Automated Reasoning
• A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
• scientific article; zbMATH DE number 1569122
• Generic Programming

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• Hierarchical design rewriting with Maude
• CBabel
• An abstract, reusable, and extensible programming language design architecture

Uses Software

• Maude

This page was built for publication: A rewriting semantics for a software architecture description language

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