A rewriting semantics for a software architecture description language

MaRDI QIDQ2848459zbMATH OpenFDO

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

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)

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

Cited in

(3)

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

Describes a project that uses

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)