From informal requirements to a running program: A case study in algebraic specification and transformational programming

DOI10.1016/0167-6423(88)90034-2MaRDI QIDQ1123587zbMATH OpenOpenAlexFDO

Authors Helmut Partsch

Publication date 1989

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(88)90034-2

zbMATH Keywords

software engineeringAlgebraic specificationtransformational programmingMunich CIP project

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 3872655
• scientific article; zbMATH DE number 46424
• Formalized program specifications and transformation synthesis
• Combining algebraic specifications and procedural tools for correct program development
• scientific article; zbMATH DE number 1156046

Cited in

(4)

• scientific article; zbMATH DE number 46424 (Why is no real title available?)
• scientific article; zbMATH DE number 781172 (Why is no real title available?)
• scientific article; zbMATH DE number 3936487 (Why is no real title available?)
• scientific article; zbMATH DE number 3872655 (Why is no real title available?)

This page was built for publication: From informal requirements to a running program: A case study in algebraic specification and transformational programming

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