scientific article; zbMATH DE number 4043230

MaRDI QIDQ3780424zbMATH OpenFDO

Authors C. Beierle, Angelika Voß

Publication date 1987

zbMATH Keywords

implementationinstitutionslogical systemloose algebraic specificationsparametrization

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1368950
• scientific article; zbMATH DE number 3936498
• scientific article; zbMATH DE number 3864486
• Institutions: abstract model theory for specification and programming
• scientific article; zbMATH DE number 3997131

Cited in

(6)

• Toward formal development of programs from algebraic specifications: Implementations revisited
• Essential concepts of algebraic specification and program development
• scientific article; zbMATH DE number 3936498 (Why is no real title available?)
• scientific article; zbMATH DE number 3995031 (Why is no real title available?)
• Horizontal Composability Revisited
• Observational implementation of algebraic specifications

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 Q3780424)