Evolving Specification Engineering

DOI10.1007/978-3-540-79980-1_23zbMath1170.68010OpenAlexW1531714579MaRDI QIDQ5505430

Dusko Pavlovic, Peter Pepper, Doug Smith

Publication date: 27 January 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79980-1_23

Mathematics Subject Classification ID

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

Related Items (2)

Smooth coalgebra: testing vector analysis ⋮ From Gödel's incompleteness theorem to the completeness of bot beliefs (extended abstract)

This page was built for publication: Evolving Specification Engineering