Algebraic foundations for specification refinements
From MaRDI portal
Publication:1784785
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
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)