https://89.19.215.112/openforum/vsluhforumID3/63199.html Исследовательское подразделение Microsoft Research выпустило (http://research.microsoft.com/en-us/downloads/a22201dc-2717-423c-b328-13a8feedfdbb/default.aspx) Linux версию интегрированной среды разработки для написания и проверки TLA+ (http://research.microsoft.com/users/lamport/tla/tla.html) (Temporal Logic of Actions) спецификаций, базирующихся на элементах темпоральной логики (http://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BC%D0%BF%D0%BE%D1%80%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0).<br><br>URL: http://research.microsoft.com/en-us/downloads/a22201dc-2717-423c-b328-13a8feedfdbb/default.aspx<br>Новость: http://www.opennet.ru/opennews/art.shtml?num=25118<br> https://89.19.215.112/openforum/vsluhforumID3/63199.html#79 Tue, 26 Jan 2010 07:28:35 GMT &gt;&gt;&gt;Как всегда - PSL ниасилили, изобрели очередную инновацию. Походу планировали вылезти на <br>&gt;&gt;&gt;рынок FPGA и железа вообще, но Windows Mobile - это уже <br>&gt;&gt;&gt;репутация. <br>&gt;&gt;<br>&gt;&gt;А как связано TLA и FPGA?<br>&gt;<br>&gt;Через PSL. Задайся вопросом - нахрена вообще нужен TLA? <br>&gt;<br><br>Мало ли в ОпенСорсе велосипедов? С другой стороны а зачем диаграмма Ганта?<br>Да и мне казалось, что FPGA узко связано с железом, а TLA более широко применяеть можно, как и PLS вроде как.<br><br>&gt;[оверквотинг удален]<br>&gt;&gt;&gt;Пора бы уже привыкать - слово Microsoft отгоняет клиентов, которые умеют хотя <br>&gt;&gt;&gt;бы читать. <br>&gt;<br>&gt;[...] <br>&gt;&gt;Винде будет стоимость меньше, выберет Винду, если на Линуксе - Линукс, <br>&gt;&gt;и тд. Только стоимость эту подсчитать бывает сложновато. <br>&gt;<br>&gt;Вот-вот. Появляется несколько неопределённых переменных, которые принимают на веру. По техническим параметрам <br>&gt;маркетоиды слили вчистую, пробуют играть в TCO. <br>&gt;<br><br>Считали не так. Да и маркетоиды тут не к месту, речь идет о людях знающих чего хотят. А они могут адекватно судить, что им https://89.19.215.112/openforum/vsluhforumID3/63199.html#78 Tue, 26 Jan 2010 06:35:21 GMT &gt;&gt;Как всегда - PSL ниасилили, изобрели очередную инновацию. Походу планировали вылезти на <br>&gt;&gt;рынок FPGA и железа вообще, но Windows Mobile - это уже <br>&gt;&gt;репутация. <br>&gt;<br>&gt;А как связано TLA и FPGA?<br><br>Через PSL. Задайся вопросом - нахрена вообще нужен TLA?<br><br><br>&gt;&gt;Пора бы уже привыкать - слово Microsoft отгоняет клиентов, которые умеют хотя <br>&gt;&gt;бы читать. <br><br>[...]<br>&gt;Винде будет стоимость меньше, выберет Винду, если на Линуксе - Линукс, <br>&gt;и тд. Только стоимость эту подсчитать бывает сложновато. <br><br>Вот-вот. Появляется несколько неопределённых переменных, которые принимают на веру. По техническим параметрам маркетоиды слили вчистую, пробуют играть в TCO.<br><br>Теперь посчитаем TCO для London Stock Exchange.<br> 1. Лицензия торговой площадки от M$<br> 2. Внедрение от M$<br> 3. Потери от слётов системы<br> 4. Покупка конторы с софтом для площадки под Linux<br> 5. Внедрение и перестройка торговой системы<br><br>И сильно помог им калькулятор стоимости владения/использования?<br><br>Ещё про стоимость владения/использования - https://89.19.215.112/openforum/vsluhforumID3/63199.html#77 Tue, 26 Jan 2010 05:50:49 GMT &gt;Как всегда - PSL ниасилили, изобрели очередную инновацию. Походу планировали вылезти на <br>&gt;рынок FPGA и железа вообще, но Windows Mobile - это уже <br>&gt;репутация. <br><br>А как связано TLA и FPGA?<br><br><br>&gt;Пора бы уже привыкать - слово Microsoft отгоняет клиентов, которые умеют хотя <br>&gt;бы читать. <br><br>Это наблюдения или мечтания? Нормальный клиент не смотрит на названия а берет калькулятор и считает стоимость владения / использования. Если у решения на Винде будет стоимость меньше, выберет Винду, если на Линуксе - Линукс, и тд. Только стоимость эту подсчитать бывает сложновато.<br> https://89.19.215.112/openforum/vsluhforumID3/63199.html#76 Mon, 25 Jan 2010 20:23:18 GMT почему "назад" ?<br>пролог/эрланг - фьюче.<br> https://89.19.215.112/openforum/vsluhforumID3/63199.html#75 Mon, 25 Jan 2010 19:08:14 GMT Как всегда - PSL ниасилили, изобрели очередную инновацию. Походу планировали вылезти на рынок FPGA и железа вообще, но Windows Mobile - это уже репутация.<br><br>Пора бы уже привыкать - слово Microsoft отгоняет клиентов, которые умеют хотя бы читать.<br> https://89.19.215.112/openforum/vsluhforumID3/63199.html#74 Mon, 25 Jan 2010 05:59:20 GMT ИМХО для построения той же диаграммы Ганта эту логику и использовать.<br>Что же до Пролога, то на нем японцы уже собирались строить компы следующего поколения(и чем их Минск не устраивал? продали бы ведь), сейчас я только про одно использование пролога слышал, у нокии кажется для управления питанием в телефоне.<br> https://89.19.215.112/openforum/vsluhforumID3/63199.html#73 Sun, 24 Jan 2010 15:50:16 GMT Лучшая половина? :)<br> https://89.19.215.112/openforum/vsluhforumID3/63199.html#72 Sat, 23 Jan 2010 21:30:19 GMT &gt;Ой, да слухи всё это, про якобы нарушенные в ядре линукса 300 <br>&gt;патентов... Агрессия со стороны Майкрософта. <br><br>Знаете, на форуме языком пиндеть - это одно. А вот если вы контора которая на мушке патентных троллей например - вот тут вы по другому ощущать это будете. И, собственно, у MS юристов много и если что-то есть - они вздуют по самые помидоры. Поэтому чем дальше от MSовских технологий, тем целее шкура, имхо. А что помешает MS специально вдувать технологии с целью потом нажиться? С фатами всякими примерно так и получилось - сперва дали всем подсесть а потом заявили - гоните бабки, а не то... Ну и где гарантии что с остальными их технологиями не выйдет точно такая же история? А если платить - так это из нашего с вами кармана в конечном итоге вынут. Ну а из чьего же еще? :)<br> https://89.19.215.112/openforum/vsluhforumID3/63199.html#71 Sat, 23 Jan 2010 16:23:42 GMT применимо таргонами в темпоральной зоне где-то на пути к Ракксле<br>