formal specification (Q20805)
Jump to navigation
Jump to search
A mathematical description of software or hardware that may be used to develop an implementation.
- formal specifications
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | formal specification |
A mathematical description of software or hardware that may be used to develop an implementation. |
|