Google
×

Specification and Description Language

Programming language
Specification and Description Language is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems. Wikipedia