Specification

Specification(Q2101564) a set of conditional statements that frames the conditions for that prescribe successful implementations. 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.