Pages that link to "Item:Q583876"
From MaRDI portal
The following pages link to Combining algebraic specifications and procedural tools for correct program development (Q583876):
Displaying 8 items.
- Algebraic specification techniques in object oriented programming environments (Q396984) (← links)
- Algebraic implementations preserve program correctness (Q1079358) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- From informal requirements to a running program: A case study in algebraic specification and transformational programming (Q1123587) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- An algebraic treatment of procedure refinement to support mechanical verification (Q2576574) (← links)
- Computer aided fusion for algebraic program derivation (Q2765921) (← links)