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