|
Вариант для распечатки |
Пред. тема | След. тема | ||
Форумы
Разговоры, обсуждение новостей
| |||
|---|---|---|---|
| Изначальное сообщение | [ Отслеживать ] | ||
| "Компания 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...). | ||
| Высказать мнение | Ответить | Правка | 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 | ||
>И где это применимо? | ||
| Высказать мнение | Ответить | Правка | ^ | Наверх | 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 ![]() 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 ![]() on 22-Янв-10, 23:12 | ||
>А они потом с своим патентным троллингом не выплюнутся, как обычно? | ||
| Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору | ||
| 72. "Компания Microsoft выпустила версию TLA Toolbox для Linux " | +/– | |
Сообщение от User294 (ok) on 24-Янв-10, 00:30 | ||
>Ой, да слухи всё это, про якобы нарушенные в ядре линукса 300 | ||
| Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору | ||
| 12. "Компания Microsoft выпустила версию TLA Toolbox для Linux " | +8 +/– | |
Сообщение от Аноним ![]() (??) 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 | ||
| Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору | ||
| 22. "Компания Microsoft выпустила версию TLA Toolbox для Linux " | +5 +/– | |
Сообщение от pavlinux (ok) on 22-Янв-10, 23:01 | ||
У амерекосского бизнеса есть закон - Надо создать проблему, что бы продавать товар её решающий. | ||
| Высказать мнение | Ответить | Правка | ^ | Наверх | 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 - это уже репутация. | ||
| Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору | ||
| 77. "Компания Microsoft выпустила версию TLA Toolbox для Linux " | +/– | |
Сообщение от fr0ster (ok) on 26-Янв-10, 08:50 | ||
>Как всегда - PSL ниасилили, изобрели очередную инновацию. Походу планировали вылезти на | ||
| Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору | ||
| 78. "Компания Microsoft выпустила версию TLA Toolbox для Linux " | +/– | |
Сообщение от ACCA (ok) on 26-Янв-10, 09:35 | ||
>>Как всегда - PSL ниасилили, изобрели очередную инновацию. Походу планировали вылезти на | ||
| Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору | ||
| 79. "Компания Microsoft выпустила версию TLA Toolbox для Linux " | +/– | |
Сообщение от fr0ster (ok) on 26-Янв-10, 10:28 | ||
>>>Как всегда - PSL ниасилили, изобрели очередную инновацию. Походу планировали вылезти на | ||
| Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору | ||
|
Архив | Удалить |
Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема |
|
Закладки на сайте Проследить за страницей |
Created 1996-2025 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |