LINUX.ORG.RU — Русская информация об ОС Linux

[#]  
Ab-1

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

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

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

Метки: microsoft, tla

Ab-1 (24.01.2010 6:50:00)
Проверено: Shaman007 (25.01.2010 11:58:22)
Juick

[#]  

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

anonymous (25.01.2010 14:51:13)
[#] Ответ на: комментарий от MuZHiK-2 25.01.2010 12:33:34  
andreyu

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


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

andreyu ***** (25.01.2010 15:07:01)
[#] Ответ на: комментарий от andreyu 25.01.2010 15:07:01  
theos

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

theos ** (25.01.2010 15:14:25)
[#] Ответ на: комментарий от vertexua 25.01.2010 12:57:35  

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

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

Ttt **** (25.01.2010 15:19:49)
[#] Ответ на: комментарий от PayableOnDeath 25.01.2010 14:20:33  
fake0

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

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

fake0 (25.01.2010 15:51:17)
[#] Ответ на: комментарий от fake0 25.01.2010 15:51:17  

<irony>подумаешь, всего лишь лицензия...</irony>

nevar ** (25.01.2010 16:18:46)
[#] Ответ на: комментарий от Ttt 25.01.2010 15:19:49  
Lindows

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

Lindows * (25.01.2010 16:26:33)
[#] Ответ на: комментарий от Lindows 25.01.2010 16:26:33  

Он ещё вернётся=)

Ttt **** (25.01.2010 16:27:51)
[#] Ответ на: комментарий от MuZHiK-2 25.01.2010 12:27:33  
e000xf000h
>>-----Цитата---->>

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

<<-----Цитата----<<

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

e000xf000h (25.01.2010 16:38:09)
[#]  

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

SlimAngel (25.01.2010 17:07:26)
[#] Ответ на: комментарий от xoomer 25.01.2010 13:00:18  
vada

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

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

vada **** (25.01.2010 17:13:05)
[#]  
dimon555

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

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

dimon555 **** (25.01.2010 17:23:24)
[#] Ответ на: комментарий от MuZHiK-2 25.01.2010 12:33:34  

>>Эта тулза лично мне не нужна. > Отучаемся говорить за всех. Мне тоже не нужна. :D

xkitenz * (25.01.2010 17:24:00)
[#] Ответ на: комментарий от Lindows 25.01.2010 16:26:33  

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

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

kraw **** (25.01.2010 17:44:18)
[#] Ответ на: комментарий от dimon555 25.01.2010 17:23:24  
quickquest

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

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

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


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

quickquest ***** (25.01.2010 17:47:29)
[#] Ответ на: комментарий от dmit8815 25.01.2010 14:07:19  

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

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

fi ** (25.01.2010 18:28:13)
[#]  

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

Xenius **** (25.01.2010 18:40:48)
[#] Ответ на: комментарий от Xenius 25.01.2010 18:40:48  
yirk

И часто вам в MS'ом коде попадался троян, мм?

yirk ** (25.01.2010 18:42:30)
[#] Ответ на: комментарий от yirk 25.01.2010 18:42:30  

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

Xenius **** (25.01.2010 19:00:55)
[#]  
sabbakka

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

sabbakka ** (25.01.2010 19:04:29)
[#] Ответ на: комментарий от sabbakka 25.01.2010 19:04:29  

M$office2012rc.deb / MicrosoftSecurityEssentials.tar.bz2

anonymous (25.01.2010 21:09:30)
[#] Ответ на: комментарий от Lindows 25.01.2010 12:55:53  
MuZHiK-2

>>Угу, все верно. Майкрософт в данном случае видит ЕГО.

Расслабься, МС видит бабло. Не более.

MuZHiK-2 *** (25.01.2010 21:27:39)
[#] Ответ на: комментарий от kraw 25.01.2010 14:07:53  
MuZHiK-2

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

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

MuZHiK-2 *** (25.01.2010 21:29:51)
[#] Ответ на: комментарий от Chaser_Andrey 25.01.2010 14:28:25  
MuZHiK-2

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

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

MuZHiK-2 *** (25.01.2010 21:31:17)
[#]  

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

AVL2 ***** (25.01.2010 21:56:37)
[#] Ответ на: комментарий от MuZHiK-2 25.01.2010 21:27:39  
Lindows

Мы все умрем =\

Lindows * (25.01.2010 22:11:16)
[#]  

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

shiriy (25.01.2010 23:32:41)
[#] Ответ на: комментарий от MuZHiK-2 25.01.2010 21:31:17  

Моно - билет в один конец. Goto hell!

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

AVL2 ***** (26.01.2010 0:40:14)
[#] Ответ на: комментарий от xoomer 25.01.2010 13:00:18  
r

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

В DEC.

Ой.

r ***** (26.01.2010 2:21:33)
[#] Ответ на: комментарий от MuZHiK-2 25.01.2010 12:34:52  

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

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

pi11 ** (26.01.2010 2:35:42)
[#]  
pathfinder

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

pathfinder * (26.01.2010 9:09:25)
[#] Ответ на: комментарий от AVL2 26.01.2010 0:40:14  
MuZHiK-2

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

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

MuZHiK-2 *** (26.01.2010 10:20:05)

О Сервере - Правила форума
http://www.linux.org.ru/

Rambler's Top100 Рейтинг@Mail.ru