Specification language

https://www.wikidata.org/wiki/Q1209840

Field Hierarchy

Parent
Computer science 56.2M papers	Engineering 24.7M papers	Programming language 7.4M papers	Software engineering 692k papers
Current
Specification language 3,982 papers
Child
Language Of Temporal Ordering Specification 1,098 papers	Algebraic specification 698 papers	Refinement 591 papers	B-Method 220 papers

Trends

Notes

History