Specification

Specification(Q2101564) a set of conditional statements that frames the conditions for satisfying success of implementation. These statements should be defined in ways that are independent from the influence of implementation methods, yet being able to detect the logical errors or conceptual inconsistencies in implementations.