Algebraic Methodology and Software Technology

DOI10.1007/B98770zbMath1108.68416OpenAlexW2973096144MaRDI QIDQ5313006

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)

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