Category:Specification languages
Help
![](https://upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
Wikimedia Commons has media related to Specification languages.
This category lists those specification languages known to Wikipedia.
See also: Category:Reference models, Category:Enterprise modelling.
Subcategories
This category has the following 8 subcategories, out of 8 total.
A
- Algorithm description languages (1 C, 7 P)
D
- Data modeling languages (3 C, 63 P)
- Dependently typed languages (14 P)
F
- Formal specification languages (7 C, 55 P)
H
- Hardware description languages (2 C, 40 P)
S
- Software for modeling software (1 C, 8 P)
- Software modeling language (1 C, 17 P)
U
- Unified Modeling Language (4 C, 69 P)
Pages in category "Specification languages"
The following 50 pages are in this category, out of 50 total. This list may not reflect recent changes.