scientific article; zbMATH DE number 3954253

MaRDI QIDQ3723680zbMATH OpenFDO

Authors C. Beierle

Publication date 1985

zbMATH Keywords

Horizontal compositionimplementationsinstantiationintegrated software developmentnon-isomorphic algebrassource and target algebrasspecifications of abstract data typesverification systemvertical composition

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3936498
• scientific article; zbMATH DE number 3990846
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Publication:4721633
• scientific article; zbMATH DE number 3954252

Cited in

(14)

• Algebraic implementations preserve program correctness
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Computer aided fusion for algebraic program derivation
• scientific article; zbMATH DE number 3936498 (Why is no real title available?)
• scientific article; zbMATH DE number 3954252 (Why is no real title available?)
• scientific article; zbMATH DE number 3990846 (Why is no real title available?)
• scientific article; zbMATH DE number 8763 (Why is no real title available?)
• scientific article; zbMATH DE number 1528724 (Why is no real title available?)
• scientific article; zbMATH DE number 3285 (Why is no real title available?)
• scientific article; zbMATH DE number 3995031 (Why is no real title available?)
• scientific article; zbMATH DE number 1860657 (Why is no real title available?)
• Hybrid implementations of algebraic specifications
• scientific article; zbMATH DE number 5181785 (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 Q3723680)