formal specification (Q20805): Difference between revisions
Jump to navigation
Jump to search
Superraptor (talk | contribs) (Created a new Item: formal specification) |
Superraptor (talk | contribs) (Added [en] description: A mathematical description of software or hardware that may be used to develop an implementation.) |
||
| (2 intermediate revisions by the same user not shown) | |||
| description / en | description / en | ||
A mathematical description of software or hardware that may be used to develop an implementation. | |||
| Property / SIO ID | |||
| Property / SIO ID: 000621 / rank | |||
Normal rank | |||
| Property / subclass of | |||
| Property / subclass of: functional specification / rank | |||
Normal rank | |||
| Property / subclass of: functional specification / reference | |||
Latest revision as of 16:25, 13 May 2024
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. |
|