Software Specifications for Scala
Bytecode based architecture verification
Specification of the Cypher property graph query language
specgen - generates code from API specification