Algebraic Methodology and Software Technology

DOI10.1007/B98770MaRDI 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

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

• scientific article; zbMATH DE number 2043467
• scientific article; zbMATH DE number 1973982
• scientific article; zbMATH DE number 2086958
• 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
• scientific article; zbMATH DE number 1304454 (Why is no real title available?)
• scientific article; zbMATH DE number 1017505 (Why is no real title available?)
• scientific article; zbMATH DE number 1973982 (Why is no real title available?)
• scientific article; zbMATH DE number 2043467 (Why is no real title available?)

This page was built for publication: Algebraic Methodology and Software Technology

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