Combining algebraic specifications and procedural tools for correct program development
From MaRDI portal
Publication:583876
zbMATH Open0692.68015MaRDI QIDQ583876FDOQ583876
Authors: Irina A. Lomazova 
Publication date: 1988
Published in: Programming and Computer Software (Search for Journal in Brave)
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
Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (12)
- Essential concepts of algebraic specification and program development
- Algebraic specification techniques in object oriented programming environments
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computer aided fusion for algebraic program derivation
- From informal requirements to a running program: A case study in algebraic specification and transformational programming
- 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)
