языки формальных спецификаций

Язык объектных ограничений Язык объектных ограничений (OCL) — декларативный язык для описания правил в моделях Unified Modeling Language (UML).  OCL […]