Дискуссии | CEE-SECR 2015
2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005
Blog Archives

10 лет Центра верификации ОС Linux. Верификация реального ПО – мечта или реальность?

Alexander Petrenko

Скачать презентацию В сентябре 2005 года в рамках государственного контракта с Минобрнауки РФ в Институте системного программирования РАН был создан Центр верификации ОС Linux , который был впоследствии поддержан международным консорциумом Linux Foundation и рядом индустриальных партнеров. Центр продолжает активно

Posted in Дискуссии

Россия – не родина слонов

Nikolai Puntikov

  В далекие советские времена широкое хождение имела шутка “Россия – родина слонов”. Тогда было принято считать российскими многие научные и технические открытия и решения, часто с огромным перехлестом. Например, официально считалось, что первый самолет изобрел Можайский (это с паровым-то

Posted in Дискуссии

Национальная Технологическая Инициатива

Valentin Makarov

Модератор Валентин Макаров Президент, НП РУССОФТ Образование: В 1978 г. окончил Ленинградский институт авиационного приборостроения (ныне Университет космического приборостроения). С 1978 по 1988 гг. работал инженером на предприятиях Ленинграда, затем в Ленинградском политехническом институте. С 1988 по 1992 гг. —

Posted in Дискуссии