Algebraic foundations for specification refinements

DOI10.1007/978-3-319-49815-7_7zbMATH Open1396.68032OpenAlexW2549778635MaRDI QIDQ1784785FDOQ1784785

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

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

Mathematics Subject Classification ID

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

Cited In (14)

• Title not available (Why is that?)
• Algebraic specifications for domain theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A superposition operator for the refinement of algebraic models
• An Informal Approach to Formal (Algebraic) Specifications
• On the power of higher-order algebraic specification methods
• Enabledness and termination in refinement algebra
• Title not available (Why is that?)
• An algebraic formulation for data refinement
• Generic tools via general refinement
• On the algebra of structured specifications
• Title not available (Why is that?)

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)