Alloy_(specification_language), Alloy_(specification_language) Information, Alloy_(specification


living trust, your estate, elder law, estate taxes, estate tax
AIRLINES - America West Airline, Airline Job Find an airline job in any airline company such as America West airline or Midwest airline. All the information you need about America West airline, Midwest airline or any airline company.
rights reserved, find out, sistine chapel, Christus rex, labor relations

In computer science and software engineering, the Alloy specification language is a declarative language for expressing complex structural constraints and behavior in a software system. Alloy provides a simple structural modeling tool based on first-order logic. The mathematical underpinnings of the language were heavily influenced by the Z notation, although the syntax of Alloy owes more to languages such as Object Constraint Language.Jackson, Daniel (2006). Software Abstractions: Logic, Language, and Analysis. MIT Press. ISBN 978-0-262-10114-1. 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 first version of the Alloy language appeared in 1997. It was a rather limited object modeling language. Succeeding iterations of the language added quantifiers, higher arity relations, polymorphism, subtyping, and signatures.Alloy FAQ. Retrieved on 2007-05-16.

References

This computer language-related article is a stub. You can help Wikipedia by expanding it.

This article is licensed under the GNU Free Documentation License. It uses material from Wikipedia