SLAN-4: A Language for the Specification and Design of Large Software Systems

DOI10.1147/RD.276.0558MaRDI QIDQ3668854zbMATH OpenOpenAlexWikidataFDO

Authors Friedrich W. Beichter, Otthein Herzog, Heiko Petzsch

Publication date 1983

Published in IBM Journal of Research and Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1147/rd.276.0558

zbMATH Keywords

pseudocodesyntactic constructsformal toolslanguage constructs for algebraic and axiomatic specifications

Mathematics Subject Classification ID

Theory of software (68N99)

This page was built for publication: SLAN-4: A Language for the Specification and Design of Large Software Systems

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