Без заголовка

Ну, в этой статье сильно перемешаны "разработка инженерным методом" и "спецификации на Alloy в инженерии требований". Как-то очень винегретно.