LINUX.ORG.RU

TLA Toolbox теперь доступен и под GNU/Linux

 , tla


0

0

Одно из исследовательских подразделений компании Microsoft, Microsoft Research, выпустило Linux-версию интегрированной среды разработки для создания и проверки спецификаций языка TLA (Temporal Logic of Actions). Спецификации базируются на элементах темпоральной логики.

>>> Подробности



Проверено: Shaman007 ()
Последнее исправление: shahid (всего исправлений: 2)

решать пускать микрошляпие в опенсорц или нет вообще не вопрос, и не вопрос какого либо сообщества вообще.. они уже там, они уже водят своим коммерческим жалом чё да как, единственная их цель это палки в колёсах парней и девчёнок которые хотят без них.. шоб никакая сволочь не понаписала дров на которых можно без них и бесплатно, итд.. всёжясно-матьихповсякому! и нех тут тролол без рецепта выдавать..

anonymous
()
Ответ на: комментарий от MuZHiK-2

> >>Эта тулза лично мне не нужна. Кому то может нужна? Не стесняемся.

Отучаемся говорить за всех. Тем более, это же только начало экспансии МС в опенсурс. Забавно наблюдать, что как только МС начинает выпускать что-то под открытой лицензией, все сразу суетятся и начинают очковать.


Еще раз внимательно прочитайте сообщение вашего оппонента. И обратите внимание на словосочетание «лично мне».

andreyu ★★★★★
()
Ответ на: комментарий от andreyu

Мне, возможно, нужна. Если более адекватна чем SPIN.

theos ★★★
()
Ответ на: комментарий от vertexua

>Попросил кого-нибуть отписать кому надо. В чем проблема?

Ну это же мужик. Если ему что надо, то это, по его мнению, обязаны использовать все без исключения.

Ttt ☆☆☆☆☆
()
Ответ на: комментарий от PayableOnDeath

> во-вторых, M$ Research и M$ - 2 большие разницы

This Microsoft Research License Agreement («MSR-LA») is a legal agreement between you and Microsoft Corporation (“Microsoft” or “we”)...

fake0
()
Ответ на: комментарий от Ttt

Вообще, мужик-2 молодец, надо отдать ему должное, его отдых пошел ему на пользу, т.к. вместо того, чтобы продолжить убеждать всех в том, что майкрософт «Самая Лучшая Компания» и раздувать тему до 10+ страниц, он просто остановился и не стал ничего писать.

Lindows
()
Ответ на: комментарий от MuZHiK-2

МС молодцы, продвигаются в опенсурсе, что не может не радовать. Скоро вы все будете их тулзы использовать и говорить спасибо. Так что давайте уже сейчас начнем говорить им спасибо.

Больной, вернитесь обратно в стационар, и не прогуливайте процедуры.

e000xf000h
()

Это было сделано в рамках программы по борьбе с опен-сорсом? (они тут недавно аналитиков лора на должность главного борца приглашали).

SlimAngel
()
Ответ на: комментарий от xoomer

Если в классической логике пример if (рак на горе свистнул) { Истина } как будет выглядеть в TLA ? :)


if (рак на горе свистнул) { ХЗ в 30%-х }

vada ★★★★★
()

это типа нечёткая логика, где функция принадлежности зависит от времени что ли? очень лениво читать

p.s. или это подвид иммитационного моделирования?

dimon555 ★★★★★
()
Ответ на: комментарий от MuZHiK-2

>>Эта тулза лично мне не нужна.

Отучаемся говорить за всех.

Мне тоже не нужна. :D

xkitenz
()
Ответ на: комментарий от Lindows

>Вообще, мужик-2 молодец, надо отдать ему должное, его отдых пошел ему на пользу, т.к. вместо того, чтобы продолжить убеждать всех в том, что майкрософт «Самая Лучшая Компания» и раздувать тему до 10+ страниц, он просто остановился и не стал ничего писать.

У него еще с прошлого раза мозоли на пальцах болят.

kraw ★★★★
()
Ответ на: комментарий от dimon555

>очень лениво читать

Нечёткая логика: «то ли будет, то ли нет».
Темпоральная логика: «как только, так сразу».

или это подвид иммитационного моделирования?


Это больше похоже на подвид сетевого планирования
http://ru.wikipedia.org/wiki/PERT

quickquest ★★★★★
()
Ответ на: комментарий от dmit8815

> Здесь в данное время работают обладатели премии Тьюринга Чарльз Хоар и Батлер Лэмпсон, обладатель Филдсовской премии Майкл Фридман, обладатель Премии МакАртура Джим Блинн, обладатель Премии Дейкстры Лэсли Лэмпорт, а также множество других высокоцененных экспертов в области информатики, физики и математики, включая Джима Грея до его исчезновения во время мореплавания.

ушел в темпоральное пространство?

fi ★★★
()

Если код от MS, лучше бы его не запускать, тем более, исходников нету если. А если есть, то только после тщательной их проверки...

Xenius ★★★★★
()
Ответ на: комментарий от yirk

Если кто-то их не видел, это не значит, что их там не было.
Проприетарные программы часто таким грешат, то ключ в реестре спрячут, то что-нибудь в нулевую дорожку винчестера запишут и тд...

Xenius ★★★★★
()

Чего шумим? Империя зла теперь Google, а MS вслед за межделмашем отходит в мир иной (не в смысле умирает, просто переходит в другое состояние). Так что MS начинает себя вести как многие другие компании. Не удивлюсь, если через годик-другой увижу MS Office for Linux на своем компе... коммерческий стессно.

sabbakka ★★
()
Ответ на: комментарий от sabbakka

M$office2012rc.deb / MicrosoftSecurityEssentials.tar.bz2

anonymous
()
Ответ на: комментарий от kraw

>>Т. е. сливают винду и переходят на линукс?

Готовятся зарабатывать деньги на том, что будет актуальным. Стараются подогнать под тенденции свои продукты.

MuZHiK-2 ★★★★
()
Ответ на: комментарий от Chaser_Andrey

>>Открытый != свободный, ну сколько можно уже. Вот если мелкомягкие будут выпускать продукты под _свободной_ лицензией - то (если удовлетворят в плане юзабильности и стабильности) почему и не пользоваться ими?

Моно выпускается под свободной и открытой лицензией. Теперь жду, как ты обоснуешь мне всю ту вонь, что творится на ЛОРе по этому поводу.

MuZHiK-2 ★★★★
()

Не понял, а исходники где?

AVL2 ★★★★★
()

>Эта лулза лично мне не нужна
fixed

shiriy
()
Ответ на: комментарий от xoomer

>Кстати где применяется TLA ?

В DEC.

Ой.

r ★★★★★
()
Ответ на: комментарий от MuZHiK-2

> Наоборот, в последнее время он только отдаляется.

У тебя есть статистика на этот счет, или просто 3,14зданул?

pi11 ★★★★★
()

Очень «полезная» и «интересная» новость. Автор этой новости тролль. Впрочем он этого и не скрывает, судя по аватарке.

pathfinder ★★★★
()
Ответ на: комментарий от AVL2

>>Выпиливать, выпиливать и еще раз выпиливать...

Ты выпиливаешь все до абсурда. Так можно и лишнее отпилить.

MuZHiK-2 ★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.