Исследовательское подразделение 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
И где это применимо?
>И где это применимо?+1
Кто-нибудь использовал?
применимо таргонами в темпоральной зоне где-то на пути к Ракксле
o_O Не ожидал такого от них
Оо, давно ждал темпаральную логику, а типерь и под Линукс!! Пошёл ставить/где ебилды, etc.
>ну да, это ее исследовательское подразделение, так сказать ее частьтулсы вобще вроде на жаве написаны
Лучшая половина? :)
Мельком прочёл лицензию - вроде никаких ловушек. Даже и не верится в такое от компании, в названии которой наличествует слово "Microsoft"
В новости про GCC также писали, что какие-то майкрософтские алгоритмы были включены в GCC. M-PETS кажется.
А они потом с своим патентным троллингом не выплюнутся, как обычно?
>А они потом с своим патентным троллингом не выплюнутся, как обычно?Ой, да слухи всё это, про якобы нарушенные в ядре линукса 300 патентов... Агрессия со стороны Майкрософта. А где, эти нарушенные 300 парентов? Предъявите так сказать? А нету. А если предъявите, например, нарушенный патентик в коде управления памятью - да у нас есть 10 вариантов этого кода, которые под патент не подпадают! Изменим! Также и с GCC и M-PEC, будете рэкетировать - уберём, нафик нужно.
>Ой, да слухи всё это, про якобы нарушенные в ядре линукса 300
>патентов... Агрессия со стороны Майкрософта.Знаете, на форуме языком пиндеть - это одно. А вот если вы контора которая на мушке патентных троллей например - вот тут вы по другому ощущать это будете. И, собственно, у MS юристов много и если что-то есть - они вздуют по самые помидоры. Поэтому чем дальше от MSовских технологий, тем целее шкура, имхо. А что помешает MS специально вдувать технологии с целью потом нажиться? С фатами всякими примерно так и получилось - сперва дали всем подсесть а потом заявили - гоните бабки, а не то... Ну и где гарантии что с остальными их технологиями не выйдет точно такая же история? А если платить - так это из нашего с вами кармана в конечном итоге вынут. Ну а из чьего же еще? :)
какая там лицензия?у меня не работает ссылка
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.
У амерекосского бизнеса есть закон - Надо создать проблему, что бы продавать товар её решающий.
(собственно, этот закон они тоже спиз...ли у Макиавелли, тот у Тита Ливия)
Until ( !x ) {
Future (x) {
Next( x ) {
All (x++);
}
} }тоже самое
while ( !x ) { /* Until */
if ( ++x ) { /* Future */
if (x++) { /* Next */
do {
....
} while (x++ ) /* All */
}}
}Ну и накой хрен эта темпоральная логика...
Назад к ПРОЛОГУ и компьютеру Минск с троичной системой...
compose в помощь. Если уж совсем припечёт, то вынесут на тулбокс или захоткеят наконец
ИМХО для построения той же диаграммы Ганта эту логику и использовать.
Что же до Пролога, то на нем японцы уже собирались строить компы следующего поколения(и чем их Минск не устраивал? продали бы ведь), сейчас я только про одно использование пролога слышал, у нокии кажется для управления питанием в телефоне.
почему "назад" ?
пролог/эрланг - фьюче.
Как всегда - PSL ниасилили, изобрели очередную инновацию. Походу планировали вылезти на рынок FPGA и железа вообще, но Windows Mobile - это уже репутация.Пора бы уже привыкать - слово Microsoft отгоняет клиентов, которые умеют хотя бы читать.
>Как всегда - PSL ниасилили, изобрели очередную инновацию. Походу планировали вылезти на
>рынок FPGA и железа вообще, но Windows Mobile - это уже
>репутация.А как связано TLA и FPGA?
>Пора бы уже привыкать - слово Microsoft отгоняет клиентов, которые умеют хотя
>бы читать.Это наблюдения или мечтания? Нормальный клиент не смотрит на названия а берет калькулятор и считает стоимость владения / использования. Если у решения на Винде будет стоимость меньше, выберет Винду, если на Линуксе - Линукс, и тд. Только стоимость эту подсчитать бывает сложновато.
>>Как всегда - 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]..."
>>>Как всегда - PSL ниасилили, изобрели очередную инновацию. Походу планировали вылезти на
>>>рынок FPGA и железа вообще, но Windows Mobile - это уже
>>>репутация.
>>
>>А как связано TLA и FPGA?
>
>Через PSL. Задайся вопросом - нахрена вообще нужен TLA?
>Мало ли в ОпенСорсе велосипедов? С другой стороны а зачем диаграмма Ганта?
Да и мне казалось, что FPGA узко связано с железом, а TLA более широко применяеть можно, как и PLS вроде как.>[оверквотинг удален]
>>>Пора бы уже привыкать - слово Microsoft отгоняет клиентов, которые умеют хотя
>>>бы читать.
>
>[...]
>>Винде будет стоимость меньше, выберет Винду, если на Линуксе - Линукс,
>>и тд. Только стоимость эту подсчитать бывает сложновато.
>
>Вот-вот. Появляется несколько неопределённых переменных, которые принимают на веру. По техническим параметрам
>маркетоиды слили вчистую, пробуют играть в TCO.
>Считали не так. Да и маркетоиды тут не к месту, речь идет о людях знающих чего хотят. А они могут адекватно судить, что им нужно.