refinement
Sign in to saveAlso known as data refinement
approaches for producing correct computer programs and simplifying existing programs to enable their formal verification
Connections
formal methods
Entity
International Standard Book Number
Entity
set
Entity
computer program
Entity
digital object identifier
Entity
software engineering
Entity
data structure
Entity
determinism
Entity
empty set
Entity
metadata
Entity
array data structure
Entity
agile software development
Entity
Q213970
Entity
subroutine
Entity
element
Entity
assignable variable
Entity
macro
Entity
executable
Entity
scrum
Entity
Q22908627
Entity