Formalising graphical behaviour descriptions

DOI10.1007/978-3-540-27815-3_40MaRDI QIDQ5313006zbMATH OpenOpenAlexFDO

Authors Kenneth J. Turner

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98770, http://hdl.handle.net/1893/574

zbMATH Keywords

Graphical SpecificationLotos (Language Of Temporal Ordering Specification)SDL (Specification and Description Language)Voice Service

Mathematics Subject Classification ID

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

Recommendations

• Formalizing graphical service descriptions using SDL
• Modelling SIP services using CRESS
• The design of a tool-supported graphical notation for Timed CSP
• Graphical versus logical specifications
• scientific article; zbMATH DE number 1307655

Cited in

(5)

• A formalization for the specification and systematic generation of computer graphics systems
• A fully formalized theory for describing visual notations
• scientific article; zbMATH DE number 1017505 (Why is no real title available?)
• Modelling SIP services using CRESS
• Formalizing graphical service descriptions using SDL

This page was built for publication: Formalising graphical behaviour descriptions

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