Behaviour Protection in Modular Rule-Based System Specifications

DOI10.1007/978-3-642-37635-1_2zbMath1394.68073MaRDI 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

68Q42: Grammars and rewriting systems

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Amalgamation of domain specific languages with behaviour