Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00251565n
Noun Named Entity
Categories: Satisfiability problems, Massachusetts Institute of Technology, Z notation, Formal specification languages, Massachusetts Institute of Technology software
EN
Alloy  Alloy language
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
Definitions
Relations
Sources
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
A declarative specification language Wikipedia Disambiguation
Specification language Wikidata
IS A
specification language
Wikipedia
EN
Alloy (specification language)
Wikidata
EN
Alloy
Wikipedia Redirections
EN
Alloy language

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License