Software Specifications for Scala