How to represent a visual specification

MaRDI QIDQ4251214zbMATH OpenFDO

Authors Marc Andries, Jan Rekers, Gregor Engels

Publication date 17 June 1999

zbMATH Keywords

visual language

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2156157
• Specification of visual languages as means for interaction
• Diagrammatic specifications
• scientific article; zbMATH DE number 2086744

Cited in

(4)

• Specifying and implementing visual process modeling languages with \textsc{DiaGen}
• On the specification of visual languages: multisets as first-class citizens
• Analysis model visualization and graphical analysis attribute specification system
• A visual environment for visual languages

This page was built for publication: How to represent a visual specification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4251214)