GCSL — различия между версиями

(Новая страница: «'''Goals and Contracts Specification Language''' (GCSL)- стандарт DANSE, который базируется на существующих иссле…»)
(нет различий)

Версия 15:19, 12 мая 2016

Goals and Contracts Specification Language (GCSL)- стандарт DANSE, который базируется на существующих исследованиях по целям и контрактам (формальным спецификациям модулей системы на логическом языке) и привязывается к SysML/OCL или другим логическим языкам). Интересно, что контракты когда-то тоже были предложены в программировании (причём contract programming предложил Бертран Мейер, который вошёл и в Тройку SEMAT/Essence).

Ссылки