SLAN-4-A software specification and design language

DOI10.1109/TSE.1984.5010217zbMath0532.68032OpenAlexW2132764576MaRDI QIDQ3314976

Otthein Herzog, Heiko Petzsch, Friedrich W. Beichter

Publication date: 1984

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1984.5010217

zbMATH Keywords

algebraic specification of abstract data typesaxiomatic specification of modules

Mathematics Subject Classification ID

Data structures (68P05) Theory of software (68N99)

This page was built for publication: SLAN-4-A software specification and design language