Alloy из MIT - это декларативный язык спецификации для выражения сложных структурных ограничений и поведения в программной системе, а также инструмент для изучения и проверки свойств результирующих структур.
Alloy из MIT - это декларативный язык спецификации для выражения сложных структурных ограничений и поведения в программной системе, а также инструмент для исследования и проверки свойств результирующих структур.
Домашняя страница для Alloy - [110 ]loy.mit.edu .
Учебники и документация