Сергей Игоревич Рыбин - Ада в России: Обзор

выходу на внешние рынки. В проекте использован ACVC сертифицированный компилятор, но он не предназначен для распространения вне границ проекта. Русская команда участвующая в этом проекте состоит из примерно 40 программистов, занимающихся разработкой и модификацией нескольких программных систем, состоящих из более тысячи модулей.

3.5 Книги, учебники, информация

Около дюжины книг по языку Ада были переведены на русский язык. Среди них И. Пайл, Е. Василеску, Р. Бар и Н. Джехани. Две книги были написаны русскими авторами. В течении нескольких лет московские библиотеки получали журналы по Аде, такие как «Ada Letters», «Ada User», «Ada Strategies», «Journal of Pascal» и «Ada and Modula-2». Однако с 1992 библиотекам не хватает фондов для этих журналов.

Мы также получали некоторую информацию в виде подарков от иностранных специалистов приезжавших в Россию. В 1993 наш Вычислительный Центр получил большую коллекцию включая CD-ROM с более чем 500Мб информации от самого начала проекта Ада 83 до руководства по Ada9X.

У русское Ада-сообщества две проблемы: проблема получения свежей информации о языке Ада и Ада 9X и проблема распространения информации между членами сообщества. Сейчас распространения информации в России — не простая задача.

3.6 Образование

Я преподаю основанный на Аде 3-х семестровый курс по концепциям и принципам языков программирования в МГУ. Базирующиеся на Аде курсы есть и в других наших институтах и университетах. Общее количество студентов изучающих Аду увеличивается от 500 до 2000 из года в год. Эти курсы не являются курсами по языку Ада, но они развиваются в этом направлении.

3.7 Стандартизация

Для языка Ада существует русский (бывший советский) стандарт. Он является переводом ANSI/MIL/STD-1815a и включает поправки для русского алфавита. Перевод самого стандарта был плохой идеей. Русские разработчики компиляторов и другие специалисты по Аде всегда пользуются оригинальным английским текстом спецификации языка.

3.8 Ada 9X

К сожалению проект Ada9X не так популярен у нас как Ada83 в свое время. Главной причиной этого является отсутствие общедоступной информации о нем. Но интерес в МО и государственных структурах есть. Этот интерес выражается в различных формах во всех русских Ада программах. Наша команда получила небольшой грант на работу связанную с Ada 9X. Я участвовал в e-mail обсуждении некоторых документов по Ada 9X и буду продолжать этим заниматься.

4 Ада в МГУ

В 1980 в НИВЦ и факультете ВМиК МГУ была организована специальная исследовательская группа в области стандартизации языков программирования и тестирования компиляторов. Группа достигла следующих результатов

• Общая концепция стандартизации языков программирования. Эта концепция основывается на на систематическом анализе отечественного и мирового опыта стандартизации в программировании, программной инженерии и информационных технологий, документов ISO. Мы подготовили многие документы в официальном представительстве Союза в ISO TC22.

• Методология черного ящика в тестировании компиляторов. Главные особенности нашей методологии:

— ориентация на формальный критерии полноты и методичные техники их достижения основанные на формальных моделях языков, стандартов, тестовых наборов и компиляторов

— полу-формальных методов и моделей вместо неформальных и полностью формальных. Мы использовали формализмы, как средства разработки тестов, сами формализмы не были целю нашей работы.

• Частично формализованная теория определения диагностических эффектов реализации программного языка.

• Наборы тестирования для стандартов Фортрана, Паскаля, Ады и Бейсика. Эти наборы получили хорошие отзывы от русских разработчиков компиляторов.

К сожалению почти все наши работы были опубликованы только в России. Результаты всех перечисленных теоретических исследования были применены к языку Ада.

Мы принимали участие в разработке отечественного стандарта языка Ада. В частности мы нашли много ошибок в переводе спецификации языка. Мы отстаивали идею использования англоязычной спецификации, как отечественного стандарта. Мы не смогли отстоять эту идею, но сейчас стандартом де-факто во всех русских Ада-программах является оригинальная спецификация языка. Теперь идея стандартизации языков программирования напрямую не вызывает вопросов среди сообщества русских программистов.

--">