Assertion: specification | /r/HasProperty | a specification language
Facets:
Source sentences:
text: Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems.