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

DOI10.1016/0167-6423(88)90034-2zbMATH Open0677.68005OpenAlexW1994341142MaRDI QIDQ1123587FDOQ1123587

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

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

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)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)