scientific article; zbMATH DE number 3954252

MaRDI QIDQ3723679zbMATH OpenFDO

Authors Angelika Voß

Publication date 1985

zbMATH Keywords

abstract data typesalgebraic specificationscanonical term functorscorrect and reliable softwareerror handlingintegrated software developmentprogram verificationverification system

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3954253
• Combining algebraic specifications and procedural tools for correct program development
• scientific article; zbMATH DE number 3872655
• scientific article; zbMATH DE number 1207155
• scientific article; zbMATH DE number 3956412

Cited in

(12)

• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Essential concepts of algebraic specification and program development
• On combining algebraic specifications with first-order logic via Athena
• scientific article; zbMATH DE number 3936504 (Why is no real title available?)
• scientific article; zbMATH DE number 3954253 (Why is no real title available?)
• scientific article; zbMATH DE number 1207155 (Why is no real title available?)
• scientific article; zbMATH DE number 1324839 (Why is no real title available?)
• scientific article; zbMATH DE number 1497880 (Why is no real title available?)
• scientific article; zbMATH DE number 1860657 (Why is no real title available?)
• A formal method for developing algebraic and numerical algorithms
• scientific article; zbMATH DE number 5499339 (Why is no real title available?)
• Combining algebraic specifications and procedural tools for correct program development

This page was built for publication:

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