GCSL — различия между версиями
Admin (обсуждение | вклад) (Новая страница: «'''Goals and Contracts Specification Language''' (GCSL)- стандарт DANSE, который базируется на существующих иссле…») |
Admin (обсуждение | вклад) |
||
Строка 1: | Строка 1: | ||
− | '''Goals and Contracts Specification Language''' (GCSL)- стандарт [[DANSE]], который базируется на существующих исследованиях по целям и контрактам (формальным спецификациям модулей [[системы]] на логическом языке) и привязывается к [[SysML]]/[[OCL]] или [https://project.inria.fr/plasma-lab/gcsl/ другим логическим языкам]). Интересно, что контракты когда-то тоже были предложены в программировании (причём '''contract programming''' предложил Бертран Мейер, который вошёл и в Тройку SEMAT/Essence). | + | '''Goals and Contracts Specification Language''' (GCSL)- стандарт [[DANSE]], который базируется на существующих исследованиях по целям и контрактам (формальным спецификациям модулей [[система|системы]] на логическом языке) и привязывается к [[SysML]]/[[OCL]] или [https://project.inria.fr/plasma-lab/gcsl/ другим логическим языкам]). Интересно, что контракты когда-то тоже были предложены в программировании (причём '''contract programming''' предложил Бертран Мейер, который вошёл и в Тройку SEMAT/Essence). |
== Ссылки == | == Ссылки == |
Версия 15:19, 12 мая 2016
Goals and Contracts Specification Language (GCSL)- стандарт DANSE, который базируется на существующих исследованиях по целям и контрактам (формальным спецификациям модулей системы на логическом языке) и привязывается к SysML/OCL или другим логическим языкам). Интересно, что контракты когда-то тоже были предложены в программировании (причём contract programming предложил Бертран Мейер, который вошёл и в Тройку SEMAT/Essence).