bn:00251565n
Noun Named Entity
AR
No term available
EN
In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a software system. Wikipedia
English:
specification language
Relations
Sources