Behaviour Protection in Modular Rule-Based System Specifications

DOI10.1007/978-3-642-37635-1_2zbMath1394.68073OpenAlexW2211096929MaRDI QIDQ2848869

Fernando Orejas, Francisco Durán, Steffen Zschaler

Publication date: 13 September 2013

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37635-1_2

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Amalgamation of domain specific languages with behaviour