Alloy (specification language)
In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a software system. Alloy provides a simple structural modeling tool based on first-order logic. Alloy is targeted at the creation of micro-models that can then be automatically checked for correctness. Alloy specifications can be checked using the Alloy Analyzer. The Alloy language and analyzer are developed by a team led by Daniel Jackson at the Massachusetts Institute of Technology in the United States.
known for
Wikipage disambiguates
Wikipage redirect
Link from a Wikipage to another Wikipage
primaryTopic
Alloy (specification language)
In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a software system. Alloy provides a simple structural modeling tool based on first-order logic. Alloy is targeted at the creation of micro-models that can then be automatically checked for correctness. Alloy specifications can be checked using the Alloy Analyzer. The Alloy language and analyzer are developed by a team led by Daniel Jackson at the Massachusetts Institute of Technology in the United States.
has abstract
En ciencia de los computadores ...... incluso en modelos infinitos.
@es
In computer science and softwa ...... chnology in the United States.
@en
Link from a Wikipage to an external page
Wikipage page ID
11,268,035
page length (characters) of wiki page
Wikipage revision ID
1,008,665,537
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
type
comment
En ciencia de los computadores ...... leando el Analizador de Alloy.
@es
In computer science and softwa ...... chnology in the United States.
@en
label
Alloy (specification language)
@en
Alloy
@es