Assertion: formal document | /r/CapableOf | call a logic specification
Facets:
Source sentences:
text: The structure of the programming (for example, major groups of code modules that support a similar function), individual code modules and their relationships and the data parameters that they pass to each other may be described in a formal document called a logic specification.
text: The structure of the programming (for example, major groups of code modules that support a similar function), individual code modules and their relationships and the data parameters that they pass to each other may be described in a formal document called a logic specification.