GCSL — различия между версиями
Admin (обсуждение | вклад) |
Admin (обсуждение | вклад) |
||
(не показана одна промежуточная версия этого же участника) | |||
Строка 2: | Строка 2: | ||
== Ссылки == | == Ссылки == | ||
− | * [http://danse-ip.eu/home/109-gcsl.html описание стандарта | + | * [http://danse-ip.eu/home/109-gcsl.html описание стандарта] |
* [http://arxiv.org/pdf/1311.3631.pdf Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach] | * [http://arxiv.org/pdf/1311.3631.pdf Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach] | ||
− | [[Категория:Стандарты]] | + | [[Категория:Стандарты DANSE]] |
Текущая версия на 17:19, 30 ноября 2017
Goals and Contracts Specification Language (GCSL)- стандарт DANSE, который базируется на существующих исследованиях по целям и контрактам (формальным спецификациям модулей системы на логическом языке) и привязывается к SysML/OCL или другим логическим языкам). Интересно, что контракты когда-то тоже были предложены в программировании (причём contract programming предложил Бертран Мейер, который вошёл и в Тройку SEMAT/Essence).