scientific article; zbMATH DE number 1569126

zbMath0968.68013MaRDI QIDQ4762654

Ambrosio Toval Álvarez, José Luis Fernández Alemán

Publication date: 22 February 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

unified modeling languageSoftware Engineering

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Rewriting logic: Roadmap and bibliography, Executable structural operational semantics in Maude

Uses Software

• Maude