information about Specification language field
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