information about Specification language field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 54.8M papers | Engineering 23.9M papers | Programming language 7.2M papers | Software engineering 674k papers |
Current | |||
Specification language 3,893 papers | |||
Child | |||
Language Of Temporal Ordering Specification 1,089 papers | Algebraic specification 683 papers | Refinement 587 papers | B-Method 221 papers |
Trends
Notes
History