В качестве введения к книге был подготовлен комикс «Параллельные миры», рассказывающий о жизне двух семей, одна из которых приобрела компьютер с проприетарным ПО, а вторая… Не буду рассказывать, лучше посмотрите сами [русский перевод].

Комикс как и вся книга распространяется под лицензией Creative Commons. Исходный вариант комикса, предназначенный для редактирования в Inkscape, а также оригинал на испанском можно найти здесь.

Кому интересна эта тема и есть возможность участвовать в общении на испанском, присоединяйтесь к работе над проектом. Я, к сожалению, испанским не владею, поэтому как и в случае с комиксом могу поучаствовать в переводе только после появления английского варианта.

1. Тестирование на основе формальных спецификаций с помощью инструмента CTesK.
2. Аналитическое доказательства корректности выбранного алгоритма с помощью Frama-C.

В качестве верифицируемой функции или группы функций студентам выдается небольшой алгоритм на 50-200 строк кода, который подвергается тестированию, а затем аналитическому доказательству корректности.

Первый год я брал функции для ребят из учебников по алгоритмам. Ошибок, кстати, там нашлось не мало.

Со второго года я стал добавлять простенькие функции из ядра Linux и glibc. На третий год и в функции из ядра нашлась ошибка, патч её исправляющий вчера Линус принял в основную ветку ядра.

Так что хотя множество глаз всех ошибок и не выявит, но одно точно: свободно доступный код позволяет смотреть на себя с очень разных точек зрения, что не может не сказаться положительно на его качестве.

There are a lot of different challenges here; one of the challenges that certainly exists is that for most large organizations, they live in a heterogeneous world. A Windows Server may be incredibly successful, Windows clients may be what’s deployed on the desktop, but they have a broader set of environments they need to support. Certainly Unix and Linux is an important environment that we see exist in many customers, maybe most customers. The Mac exists out there, and so being able to support this heterogeneous set of developers that need to work together, not just on .NET, but also with tools like Eclipse and Java, are also very important.  And what we would like to do is to enable all of those developers that are working in this heterogeneous world to be able to take advantage of the latest and greatest things to come from building application life-cycle solutions using Visual Studio.

And so today, I’m very pleased to announce the availability of Visual Studio Team Explorer everywhere. Yeah, this is a pretty big deal. (Applause.) This is part of what we’re delivering with Visual Studio 2010.  The family of products in Visual Studio 2010. It is fully connected into the Visual Studio development environment and the Team Foundation Server environment, for source code development. It works with Eclipse, it works with Java, it works in Linux, it works on the Mac, it works on UNIX. It’s based on an acquisition we did a little while ago called Teamprise, and it’s now fully integrated and part of the Microsoft solution set for developers.

That is a reasonable step of Microsoft coming from market pressure of Linux and  Mac on developer desktops. It is in line with strategy of strictly controlled interoperability, which is implemented by the corporation during the latest years. An alternative approach in the area of application development and lifecycle tools is demonstrated by IBM that leads efforts like Open Services for Lifecycle Collaboration.

At this point Microsoft has more powerful positions in this market, but in my opinion more open and interoperable solutions will be more successfull in long run. Let’s see…

1. Формирование национальной телекоммуникационной инфраструктуры и обеспечение доступности на ее основе населению на территории страны современных ИКТ услуг
2. Использование ИКТ в образовании и науке, а также подготовка квалифицированных кадров в сфере ИКТ
3. Использование ИКТ в системе здравоохранения и социальной защиты населения
4. Использование ИКТ для обеспечения безопасности жизнедеятельности населения
5. Использование ИКТ в культуре и системе культурного и гуманитарного просвещения
6. Формирование в Российской Федерации электронного правительства
7. Развитие национальной промышленности информационных технологий в Российской Федерации
8. Сокращение различий между субъектами Российской Федерации по уровню информационного развития

Наибольший интерес для Российских разработчиков свободного программного обеспечения в утвежденном плане представляет направление ИКТ в образовании и науке, в рамках которого запланировано мероприятие 2.3  (см. стр.13) «Обеспечение перехода общеобразовательных учреждений на использование разработанного пакета свободного программного обеспечения (ПСПО)». В качестве результата работы по этому направления к концу 2010 года 25% общеобразовательных учреждений каждого региона РФ должны использовать ПСПО не менее, чем на 50% имеющихся персональных компьютеров. К концу 2011 года доля таких школ должна превысить 35%. Ответственными за достижение данных показателей назначены Минобрнауки России и органы исполнительной власти субъектов РФ.