Main article: Specification language.

This category lists those specification languages known to Wikipedia.

Subcategories

There is 1 subcategory to this category.

*

• Computer language stubs

Articles in category "Specification languages"

There are 11 articles in this category.

Alloy language B B specification language E Extended ML

I IDL specification language P Petri net S Specification and Design Language U Unified Modeling Language

U cont. Actor (UML) V VDM specification language Z Z notation Z plus plus