Metadata
Author: WikiMatrix
Data
Catalan[ca]
Alloy (llenguatge d'especificació) és un llenguatge de propòsit general per expressar restriccions estructurals complexes i el comportament d'un sistema de programari.
English[en]
Alloy (specification language) is a general purpose specification language for expressing complex structural constraints and behavior in a software system.