On the Behavioral Semantics of Real-Time Domain Specific Visual Languages

DOI10.1007/978-3-642-16310-4_12zbMath1306.68086OpenAlexW1539155578MaRDI QIDQ4933285

Antonio Vallecillo, Francisco Durán, José E. Rivera

Publication date: 12 October 2010

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16310-4_12

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items

Amalgamation of domain specific languages with behaviour, The rewriting logic semantics project: a progress report, Twenty years of rewriting logic, Verifying hierarchical Ptolemy II discrete-event models using real-time maude, The Rewriting Logic Semantics Project: A Progress Report

Uses Software

• Maude
• MOMENT2