Combining algebraic specifications and procedural tools for correct program development
From MaRDI portal
(Redirected from Publication:583876)
Recommendations
- scientific article; zbMATH DE number 3954252
- Building program construction and verification tools from algebraic principles
- scientific article; zbMATH DE number 3872655
- Essential concepts of algebraic specification and program development
- Publication:4721633
- Toward formal development of programs from algebraic specifications: Implementations revisited
- scientific article; zbMATH DE number 3954253
- A constructive method for abstract algebraic software specification
- scientific article; zbMATH DE number 1615248
- scientific article; zbMATH DE number 4766
Cited in
(12)- Algebraic specification techniques in object oriented programming environments
- Essential concepts of algebraic specification and program development
- scientific article; zbMATH DE number 3954252 (Why is no real title available?)
- scientific article; zbMATH DE number 3995031 (Why is no real title available?)
- From informal requirements to a running program: A case study in algebraic specification and transformational programming
- Computer aided fusion for algebraic program derivation
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- A formal method for developing algebraic and numerical algorithms
- Toward formal development of programs from algebraic specifications: model-theoretic foundations
- An algebraic treatment of procedure refinement to support mechanical verification
- Algebraic implementations preserve program correctness
- Toward formal development of programs from algebraic specifications: Implementations revisited
This page was built for publication: Combining algebraic specifications and procedural tools for correct program development
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q583876)
