The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

форумы  помощь  поиск  регистрация  майллист  вход/выход  слежка  RSS
"Компания Microsoft выпустила версию TLA Toolbox для Linux "
Вариант для распечатки  
Пред. тема | След. тема 
Форумы Разговоры, обсуждение новостей
Изначальное сообщение [ Отслеживать ]

"Компания Microsoft выпустила версию TLA Toolbox для Linux "  +/
Сообщение от opennews on 22-Янв-10, 21:04 
Исследовательское подразделение Microsoft Research выпустило (http://research.microsoft.com/en-us/downloads/a22201dc-2717-...) Linux версию интегрированной среды разработки для написания и проверки TLA+ (http://research.microsoft.com/users/lamport/tla/tla.html) (Temporal Logic of Actions) спецификаций, базирующихся на элементах темпоральной логики (http://ru.wikipedia.org/wiki/%D0%A2%D0%B...).

URL: http://research.microsoft.com/en-us/downloads/a22201dc-2717-...
Новость: http://www.opennet.me/opennews/art.shtml?num=25118

Высказать мнение | Ответить | Правка | Cообщить модератору

Оглавление

Сообщения по теме [Сортировка по времени | RSS]


1. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +9 +/
Сообщение от NoName on 22-Янв-10, 21:04 
И где это применимо?
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

65. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +1 +/
Сообщение от XoRe (ok) on 23-Янв-10, 12:46 
>И где это применимо?

+1

Кто-нибудь использовал?

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

71. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +3 +/
Сообщение от hhg (ok) on 23-Янв-10, 19:23 
применимо таргонами в темпоральной зоне где-то на пути к Ракксле
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

3. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +6 +/
Сообщение от Аноним (??) on 22-Янв-10, 21:16 
o_O Не ожидал такого от них
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

5. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +5 +/
Сообщение от anonymous (??) on 22-Янв-10, 21:24 
Оо, давно ждал темпаральную логику, а типерь и под Линукс!! Пошёл ставить/где ебилды, etc.
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

15. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +4 +/
Сообщение от JL2001 (ok) on 22-Янв-10, 22:27 
>ну да, это ее исследовательское подразделение, так сказать ее часть

тулсы вобще вроде на жаве написаны

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

73. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +1 +/
Сообщение от dq0s4y71 (ok) on 24-Янв-10, 18:50 
Лучшая половина? :)
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

10. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +7 +/
Сообщение от Аноним (??) on 22-Янв-10, 21:44 
Мельком прочёл лицензию - вроде никаких ловушек. Даже и не верится в такое от компании, в названии которой наличествует слово "Microsoft"
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

11. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +6 +/
Сообщение от Zenitur email on 22-Янв-10, 21:48 
В новости про GCC также писали, что какие-то майкрософтские алгоритмы были включены в GCC. M-PETS кажется.
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

17. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +7 +/
Сообщение от User294 (ok) on 22-Янв-10, 22:29 
А они потом с своим патентным троллингом не выплюнутся, как обычно?
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

25. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +6 +/
Сообщение от Zenitur email on 22-Янв-10, 23:12 
>А они потом с своим патентным троллингом не выплюнутся, как обычно?

Ой, да слухи всё это, про якобы нарушенные в ядре линукса 300 патентов... Агрессия со стороны Майкрософта. А где, эти нарушенные 300 парентов? Предъявите так сказать? А нету. А если предъявите, например, нарушенный патентик в коде управления памятью - да у нас есть 10 вариантов этого кода, которые под патент не подпадают! Изменим! Также и с GCC и M-PEC, будете рэкетировать - уберём, нафик нужно.

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

72. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +/
Сообщение от User294 (ok) on 24-Янв-10, 00:30 
>Ой, да слухи всё это, про якобы нарушенные в ядре линукса 300
>патентов... Агрессия со стороны Майкрософта.

Знаете, на форуме языком пиндеть - это одно. А вот если  вы контора которая на мушке патентных троллей например - вот тут вы по другому ощущать это будете. И, собственно, у MS юристов много и если что-то есть - они вздуют по самые помидоры. Поэтому чем дальше от MSовских технологий, тем целее шкура, имхо. А что помешает MS специально вдувать технологии с целью потом нажиться? С фатами всякими примерно так и получилось - сперва дали всем подсесть а потом заявили - гоните бабки, а не то... Ну и где гарантии что с остальными их технологиями не выйдет точно такая же история? А если платить - так это из нашего с вами кармана в конечном итоге вынут. Ну а из чьего же еще? :)

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

12. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +8 +/
Сообщение от Аноним email(??) on 22-Янв-10, 21:51 
какая там лицензия?у меня не работает ссылка
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

32. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +4 +/
Сообщение от pavlinux (ok) on 22-Янв-10, 23:30 
Unless otherwise indicated, the TLA Toolbox is made available by Microsoft Corporation
under the terms and conditions of the Microsoft Research License Agreement provided
below.
The Compaq Corporation license below governs some of the code located
in subdirectories tla2sany, tla2tex, tlc2, and util of the file tla2tools.jar.


  

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

22. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +5 +/
Сообщение от pavlinux (ok) on 22-Янв-10, 23:01 
У амерекосского бизнеса есть закон - Надо создать проблему, что бы продавать товар её решающий.
(собственно, этот закон они тоже спиз...ли у Макиавелли, тот у Тита Ливия)

Until ( !x ) {
       Future (x) {
              Next( x ) {
                All (x++);
              }
}   }

тоже самое

while ( !x ) { /* Until */
      if ( ++x )  { /* Future */
          
        if (x++) { /* Next */
                  do {
                      ....                  
                 } while (x++ ) /* All */
        }

    }
}

Ну и накой хрен эта темпоральная логика...
Назад к ПРОЛОГУ и компьютеру Минск с троичной системой...

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

28. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +2 +/
Сообщение от Аноним (??) on 22-Янв-10, 23:19 
compose в помощь. Если уж совсем припечёт, то вынесут на тулбокс или захоткеят наконец
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

74. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +/
Сообщение от fr0ster (ok) on 25-Янв-10, 08:59 
ИМХО для построения той же диаграммы Ганта эту логику и использовать.
Что же до Пролога, то на нем японцы уже собирались строить компы следующего поколения(и чем их Минск не устраивал? продали бы ведь), сейчас я только про одно использование пролога слышал, у нокии кажется для управления питанием в телефоне.
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

76. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +/
Сообщение от Basiley (ok) on 25-Янв-10, 23:23 
почему "назад" ?
пролог/эрланг - фьюче.
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

75. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +/
Сообщение от ACCA (ok) on 25-Янв-10, 22:08 
Как всегда - PSL ниасилили, изобрели очередную инновацию. Походу планировали вылезти на рынок FPGA и железа вообще, но Windows Mobile - это уже репутация.

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

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

77. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +/
Сообщение от fr0ster (ok) on 26-Янв-10, 08:50 
>Как всегда - PSL ниасилили, изобрели очередную инновацию. Походу планировали вылезти на
>рынок FPGA и железа вообще, но Windows Mobile - это уже
>репутация.

А как связано TLA и FPGA?


>Пора бы уже привыкать - слово Microsoft отгоняет клиентов, которые умеют хотя
>бы читать.

Это наблюдения или мечтания? Нормальный клиент не смотрит на названия а берет калькулятор и считает стоимость владения / использования. Если у решения на Винде будет стоимость меньше, выберет Винду, если на Линуксе - Линукс, и тд. Только стоимость эту подсчитать бывает сложновато.

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

78. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +/
Сообщение от ACCA (ok) on 26-Янв-10, 09:35 
>>Как всегда - PSL ниасилили, изобрели очередную инновацию. Походу планировали вылезти на
>>рынок FPGA и железа вообще, но Windows Mobile - это уже
>>репутация.
>
>А как связано TLA и FPGA?

Через PSL. Задайся вопросом - нахрена вообще нужен TLA?


>>Пора бы уже привыкать - слово Microsoft отгоняет клиентов, которые умеют хотя
>>бы читать.

[...]
>Винде будет стоимость меньше, выберет Винду, если на Линуксе - Линукс,
>и тд. Только стоимость эту подсчитать бывает сложновато.

Вот-вот. Появляется несколько неопределённых переменных, которые принимают на веру. По техническим параметрам маркетоиды слили вчистую, пробуют играть в TCO.

Теперь посчитаем TCO для London Stock Exchange.
    1. Лицензия торговой площадки от M$
    2. Внедрение от M$
    3. Потери от слётов системы
    4. Покупка конторы с софтом для площадки под Linux
    5. Внедрение и перестройка торговой системы

И сильно помог им калькулятор стоимости владения/использования?

Ещё про стоимость владения/использования - про конторы, влетевшие на серьёзные бабки из-за виндовых троянов: http://voices.washingtonpost.com/securityfix/2009/10/avoid_w...

"Не используйте Microsoft Windows для доступа к банковским счетам онлайн.
[...]
...наиболее дешёвый и надёжный способ [для безопасной работы с финансами] - использовать read-only операционную систему, такую как Knoppix или Ubuntu [LiveCD]..."

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

79. "Компания Microsoft выпустила версию TLA Toolbox для Linux "  +/
Сообщение от fr0ster (ok) on 26-Янв-10, 10:28 
>>>Как всегда - PSL ниасилили, изобрели очередную инновацию. Походу планировали вылезти на
>>>рынок FPGA и железа вообще, но Windows Mobile - это уже
>>>репутация.
>>
>>А как связано TLA и FPGA?
>
>Через PSL. Задайся вопросом - нахрена вообще нужен TLA?
>

Мало ли в ОпенСорсе велосипедов? С другой стороны а зачем диаграмма Ганта?
Да и мне казалось, что FPGA узко связано с железом, а TLA более широко применяеть можно, как и PLS вроде как.

>[оверквотинг удален]
>>>Пора бы уже привыкать - слово Microsoft отгоняет клиентов, которые умеют хотя
>>>бы читать.
>
>[...]
>>Винде будет стоимость меньше, выберет Винду, если на Линуксе - Линукс,
>>и тд. Только стоимость эту подсчитать бывает сложновато.
>
>Вот-вот. Появляется несколько неопределённых переменных, которые принимают на веру. По техническим параметрам
>маркетоиды слили вчистую, пробуют играть в TCO.
>

Считали не так. Да и маркетоиды тут не к месту, речь идет о людях знающих чего хотят. А они могут адекватно судить, что им нужно.

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру