Algebraic foundations for specification refinements

DOI10.1007/978-3-319-49815-7_7MaRDI QIDQ1784785zbMATH OpenOpenAlexFDO

Authors Pablo F. Castro, Nazareno Aguirre

Publication date 27 September 2018

Full work available at URL https://doi.org/10.1007/978-3-319-49815-7_7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• An algebraic formulation for data refinement
• Category localization semantics for specification refinements
• scientific article; zbMATH DE number 1424058
• scientific article; zbMATH DE number 3936493
• A calculus of refinements for program derivations

Cited in

(14)

• An algebraic formulation for data refinement
• Algebraic specifications for domain theory
• scientific article; zbMATH DE number 1390335 (Why is no real title available?)
• Enabledness and termination in refinement algebra
• scientific article; zbMATH DE number 1424058 (Why is no real title available?)
• scientific article; zbMATH DE number 4129965 (Why is no real title available?)
• scientific article; zbMATH DE number 1324839 (Why is no real title available?)
• scientific article; zbMATH DE number 3936495 (Why is no real title available?)
• Generic tools via general refinement
• A superposition operator for the refinement of algebraic models
• On the power of higher-order algebraic specification methods
• On the algebra of structured specifications
• An Informal Approach to Formal (Algebraic) Specifications
• scientific article; zbMATH DE number 4078770 (Why is no real title available?)

This page was built for publication: Algebraic foundations for specification refinements

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