Metadata
Author: WikiMatrix
Data
English[en]
Alloy (specification language) is a general purpose specification language for expressing complex structural constraints and behavior in a software system.
Spanish[es]
Alloy (specification language) es un lenguaje de propósito general para expresar restricciones de estructura complejas y comportamiento en un sistema de software.