http://sewiki.ru/index.php?action=history&feed=atom&title=GCSL
GCSL - История изменений
2026-05-05T11:03:47Z
История изменений этой страницы в вики
MediaWiki 1.26.2
http://sewiki.ru/index.php?title=GCSL&diff=2901&oldid=prev
Admin в 14:19, 30 ноября 2017
2017-11-30T14:19:35Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 14:19, 30 ноября 2017</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l5" >Строка 5:</td>
<td colspan="2" class="diff-lineno">Строка 5:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://arxiv.org/pdf/1311.3631.pdf Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach]</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://arxiv.org/pdf/1311.3631.pdf Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Категория:Стандарты]]</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Категория:Стандарты <ins class="diffchange diffchange-inline">DANSE</ins>]]</div></td></tr>
</table>
Admin
http://sewiki.ru/index.php?title=GCSL&diff=832&oldid=prev
Admin: /* Ссылки */
2016-05-12T12:39:37Z
<p><span dir="auto"><span class="autocomment">Ссылки</span></span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 12:39, 12 мая 2016</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l2" >Строка 2:</td>
<td colspan="2" class="diff-lineno">Строка 2:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Ссылки ==</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Ссылки ==</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [http://danse-ip.eu/home/109-gcsl.html описание стандарта<del class="diffchange diffchange-inline">)</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [http://danse-ip.eu/home/109-gcsl.html описание стандарта<ins class="diffchange diffchange-inline">]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://arxiv.org/pdf/1311.3631.pdf Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach]</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://arxiv.org/pdf/1311.3631.pdf Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[Категория:Стандарты]]</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[Категория:Стандарты]]</div></td></tr>
</table>
Admin
http://sewiki.ru/index.php?title=GCSL&diff=826&oldid=prev
Admin в 12:19, 12 мая 2016
2016-05-12T12:19:17Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ru'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Предыдущая</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Версия 12:19, 12 мая 2016</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Строка 1:</td>
<td colspan="2" class="diff-lineno">Строка 1:</td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>'''Goals and Contracts Specification Language''' (GCSL)- стандарт [[DANSE]], который базируется на существующих исследованиях по целям и контрактам (формальным спецификациям модулей [[системы]] на логическом языке) и привязывается к [[SysML]]/[[OCL]] или [https://project.inria.fr/plasma-lab/gcsl/ другим логическим языкам]). Интересно, что контракты когда-то тоже были предложены в программировании (причём '''contract programming''' предложил Бертран Мейер, который вошёл и в Тройку SEMAT/Essence).</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>'''Goals and Contracts Specification Language''' (GCSL)- стандарт [[DANSE]], который базируется на существующих исследованиях по целям и контрактам (формальным спецификациям модулей [[<ins class="diffchange diffchange-inline">система|</ins>системы]] на логическом языке) и привязывается к [[SysML]]/[[OCL]] или [https://project.inria.fr/plasma-lab/gcsl/ другим логическим языкам]). Интересно, что контракты когда-то тоже были предложены в программировании (причём '''contract programming''' предложил Бертран Мейер, который вошёл и в Тройку SEMAT/Essence).</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Ссылки ==</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Ссылки ==</div></td></tr>
</table>
Admin
http://sewiki.ru/index.php?title=GCSL&diff=825&oldid=prev
Admin: Новая страница: «'''Goals and Contracts Specification Language''' (GCSL)- стандарт DANSE, который базируется на существующих иссле…»
2016-05-12T12:19:05Z
<p>Новая страница: «'''Goals and Contracts Specification Language''' (GCSL)- стандарт <a href="/DANSE" class="mw-redirect" title="DANSE">DANSE</a>, который базируется на существующих иссле…»</p>
<p><b>Новая страница</b></p><div>'''Goals and Contracts Specification Language''' (GCSL)- стандарт [[DANSE]], который базируется на существующих исследованиях по целям и контрактам (формальным спецификациям модулей [[системы]] на логическом языке) и привязывается к [[SysML]]/[[OCL]] или [https://project.inria.fr/plasma-lab/gcsl/ другим логическим языкам]). Интересно, что контракты когда-то тоже были предложены в программировании (причём '''contract programming''' предложил Бертран Мейер, который вошёл и в Тройку SEMAT/Essence).<br />
<br />
== Ссылки ==<br />
* [http://danse-ip.eu/home/109-gcsl.html описание стандарта)<br />
* [http://arxiv.org/pdf/1311.3631.pdf Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach]<br />
<br />
[[Категория:Стандарты]]</div>
Admin