MediaScan

Научно-производственное предприятие МедиаСкан

Разработка и внедрение научно-технической продукции

20.04.2018

Gem-059_ru.pdf: Генерация связей с заголовочными файлами C в Ada.

Автор: Arnaud Charlet , AdaCore

Краткое содержание: Gem Ada #59 - Одна из наиболее сложных областей
 
Ada, с которой у разработчиков часто возникают проблемы, -
взаимодействие
Ada с другими языками. Несмотря на то, что в Ada
доступны удобные и полноценные возможности создания интерфейсов
для работы с другими компилируемыми языками, такими как
C, C++ и
Fortran, написание связующего кода для использования масштабных и
комплексных
API может вызывать трудности и приводить к ошибкам.

В данном Gem будет продемонстрирован новый инструмент AdaCore,
автоматизирующий генерацию интерфейсов для заголовочных файлов
языка
«C» с помощью компилятора.

 

13.04.2018

Gem-057_ru.pdf: Gem #57: Диспетчеризация вызовов между Ada и Java.

Gem-058_ru.pdf: Gem #58: Обработка исключений Ada/Java

Автор: Quentin Ochem, AdaCore

12.04.2018

Gem-056_ru.pdf: Создание вызовов Java в Ada с помощью GNAT-AJIS

Автор: Quentin Ochem, AdaCore

Краткое содержание: Gem Ada #56 - В предыдущем Gem #55 была
представлена функция
ada2java, связывающее специфицирования Ada и
Java для поддержки вызовов Ada в Java. Несмотря на то, что ada2java не
поддерживает пакеты сопряжений
Ada с специфицированиями Java, его
можно использовать для поддержки вызовов
Java в Ada. В данном Gem
будет рассмотрена такая возможность на примере обратных вызовов (в
контексте
Ada - вызовов доступа к подпрограммам).

11.04.2018

Gem-055_ru.pdf: Введение в сопряжение Ada/Java

Автор: Quentin Ochem, AdaCore

Краткое содержание: Gem Ada #55  - Сопряжение Ada и Java - весьма
сложная задача. В отличие от
C, C++ или Fortran, Ada и Java работают в
двух разных средах:
Java - на JVM, Ada - напрямую на ОС. Поэтому
невозможно напрямую связать функции
Java и скомпилированный код на
языке
Ada с помощью прагмы Import. Разработчикам предлагаются два
возможных решения данной проблемы: компилировать код напрямую в
байт-код
Java, используя GNAT с JVM, либо использовать Java Native
Interface (JNI),
с помощью которого можно осуществлять взаимодействие
среды машинного кода и
JVM. В данном Gem будет обсуждается второй
подход.

 

30.03.2018

Gem-052_ru.pdf: Возможности создания скриптов в GNAT (Часть 1)

Автор: Emmanuel Briot, AdaCore

Краткое содержание: Gem Ada #52 - По мнению большинства
программистов, все языки программирования можно разделить на две
категории: языки описания сценариев (скриптов), и все остальные. Трудно
назвать одно определяющее различие между этими двумя категориями.
Язык относят к той или иной категории чаще всего на основе того, каких
масштабов приложения на нем пишутся, является ли он
интерпретируемым или компилируемым, и насколько легко производить
такие операции как манипуляция внешними процессами.

Однако, с уверенностью можно заявлять, что Ada не относится к
скриптовым языкам. Несмотря на это, в данной статье
Gem описываются
несколько пакетов сборки
GNAT, с помощью которых можно выполнять
задачи, связанные с применением скриптов, которые считаются
возможными только в языках, специализирующихся на скриптах. Конечно
же, переносимость программ - одно из важнейших преимуществ языка
Ada!

Gem-054_ru.pdf: Возможности создания скриптов в GNAT (Часть 2)

Краткое содержание: Gem Ада #54 - В Gem # 52 мы показали несколько
возможностей
GNAT, которые превращают язык Ада в язык скриптования
(в какой-то степени). Мы продемонстрировали функции
GNAT.Command_Line, GNATCOLL.Mmap, GNAT.Regpat и GNAT.AWK.
В данном Gem продолжается обсуждение возможностей описания
сценариев, на этот раз - в контексте работы с внешними процессами.

29.03.2018

Gem-050_ru.pdf: Разрешение совмещения

Автор: Bob Duff, AdaCore

Краткое содержание: Gem Ada #50 - В данном Gem обсуждаются
некоторые аспекты разработки языка, связанные с разрешением
совмещения.

28.03.2018

Gem-048_ru.pdf: Расширенные интерфейсы в Ada 2005

Автор: Quentin Ochem, AdaCore

Краткое содержание: Gem Ada #48 - В Ada 2005 представлена концепция
интерфейсов, предназначенных для разработки классов объектов.
Интерфейсы - удобный инструмент для реализации новых иерархии, но
после введения их в действия их довольно трудно расширить. Добавление
новых примитивов может привести к ошибкам механизма создания
производных типов, так как типу необходимо реализовать все
наследованные абстрактные примитивы. В данном
Gem демонстрируются
два способа преодоления данной проблемы, один из них - общий для ООП
как такового, другой - специфичный для
Ada 2005.

27.03.2018

Gem-046_ru.pdf: Несовместимость Ada 83 и Ada 95

Автор: Robert Dewar, AdaCore

Краткое содержание: Gem Ada #46 - Часть 1, Неограниченные массивы в
обобщённых типах (
generic).

07.03.2018

Gem-041_ru.pdf: Проверка доступности (Часть II: Ada2005)

Автор: Ramón Fernández , AdaCore

Краткое содержание: Gem Ada #41 - В Ada 2005 представлены несколько
 улучшений в отношении типов ссылки на объект (
access), которые
упрощают задачу разработчика и делают язык более гибким. Но большая
сила означает большую ответственность, поэтому для того, чтобы новые
функции не создавали недействительные ссылки, возможности проверок
доступности также были расширены.

Gem-044_ru.pdf: Проверка доступности (Часть III)

Автор: Bob Duff, AdaCore

Краткое содержание: Gem Ada #44 - С помощью ‘Unchecked_Access
можно обходить правила доступа, а контролируемые типы помогают
укротить эту опасную функцию.

25.02.2018 Gem-039_ru.pdf: Эффективный поток ввода-вывода для
регулярных типов (
Array Types).
Автор: Pat Rogers, AdaCore
Краткое содержание: Gem Ada #39 - Запись значений в потоки и их
считывание не составляет особого труда в языке
Ada благодаря
«потоковым атрибутам», но начальную реализацию атрибутов
некоторых регулярных типов можно осуществлять более эффективным
способом ввода-вывода. В
Gem Ada #39 описывается, каким образом
пользователь может определять подобные эффективные реализации.

20.02.2018 Gem-037_ru.pdf: Пакет кольцевых буферов в иерархии
GNAT (Часть 2) Автор: Pat Rogers, AdaCore

19.02.2018 Gem-035_ru.pdf: Пакет кольцевых буферов в иерархии
GNAT (Часть 1) Автор: Pat Rogers, AdaCore

Краткое содержание: Gem Ada #35 - В Ada95 были введены так
называемые
«защищённые типы», представляющие собой
фундаментальные элементы, необходимые для эффективного
многопоточного программирования и обработки прерываний. В данном
Gem описывается использование защищённых типов в ходе реализации
классических асинхронных буферных абстракций, предоставляемых
иерархией элементов
GNAT. Предполагается, что по крайней мере в
какой-то степени Вам знакомо понятие языка
Ada «защищённые типы»,
поэтому их семантика объясняется лишь частично.

16.02.2018  Gem-033_ru.pdf. Проверка доступности (Часть I: Ada95)

Автор: Ramón Fernández-Marina, AdaCore

Краткое содержание: Gem Ada #33 - Наличие недействительных
указателей (указателей на несуществующие объекты) в программе может
привести к катастрофическим последствиям. В языке
Ada применяется
набор
«правил доступности», которые позволяют разработчику избежать
подобных проблем, таким образом повышая отлаженность программного
обеспечения.

15.02.2018  Gem-031_ru.pdf. Gem #31: Предусловия/постусловия

Автор: Robert Dewar, AdaCore

Краткое содержание: Gem Ада #31 - Понятие предусловий и
постусловий определено уже давно.  Предусловие - это такое условие,
которое должно быть соблюдено (возвращать значение
true) перед тем,
как часть программы начнёт своё исполнение. Постусловие, в свою
очередь, - условие, которое должно быть соблюдено (возвращать
значение
true) после того, как часть программы закончила свое
исполнение (
Eiffel назвал этот подход «дизайном по контракту»).

Обращаем Ваше внимание, что Gem’s ##30, 32, 34, 36, 38, 40, 42, 43, 45,
47, 49, 51, 53
автора Джона Барнса не будут издаваться отдельными
статьями на русском языке, так как есть прекрасный перевод на русский
последнего издания книги
Безопасное и надежное программное
обеспечение на примере языка Ада 2012 и
SPARK 2014”

По этой же причине не будет русскоязычных Gem ## 68, 69, 71, 72, 73,
74, 75, 76, 80.

14.02.2018  Продолжаем издавать статьи GEM на русском:

 Gem-029_ru.pdfВведение в Веб-Серверы на языке Ada (AWS)

 

15.03.2017 12.05.2017

Идея серии статей Gems на http://www.adacore.com/adaanswers/gems/,
 заключалась в том, чтобы предоставлять информацию в областях
 технологии
AdaCore и языка программирования Ada. Обсуждались
 многие темы:
Ada 2005, Ada 2012, сертификация, распределенные
 системы, встроенная разработка, безопасность и безопасное
 программирование, формальные методы и верификация,
IDE,
 
библиотеки и привязки, использование смешанных языков,
 моделирование, многоядерное программирование, статический анализ и
 тестирование.

Доступны для загрузки перевод на русский язык первых трех статей из
 160-ти в формате
PDF :

 Gem-001_ru.pdf , Gem-002_ru.pdf , Gem-003_ru.pdf  —  Лимитированные
 типы в
Ada 2005

 Gem-004_ru.pdf — Контроль позиции в пространстве используя ШИМ
 (
PWM) для радиоуправляемых сервосистем.

 Gem-005_ru.pdf — Поиск по ключу в множествах (контейнеры SET) .

Множества (они же – контейнеры SET ) – это контейнеры элементов, где
 каждый элемент контейнера хранится только в одном экземпляре. Во
 всех контейнерах, можно осуществлять поиск элементов по их значению
 с учетом того, что значение элемента известно. В некоторых
 приложениях эквивалентность элементов определяется только по
 некоторой их части (
«ключевой» части); часто приходится осуществлять
 поиск элемента, когда известно только значение такого ключа. Здесь
 представлен способ осуществления ключевого поиска элемента в
 контейнере.

 Gem-006_ru.pdf Сравнение идиом мульти представления в Ада 95 и
 интерфейсов Ада 2005

 Gem-007_ru.pdf Красота числовых литералов в языке Ada

 Gem-008_ru.pdf Фабричные функции

 Gem-009_ru.pdf Надклассовые операции, итераторы и типовые
 алгоритмы (продолжение
Gem-008 — Фабричные функции)

 Gem-010_ru.pdf Лимитированные типы в Ada 2005 - Расширенные
 операторы возврата. Хотя
extended_return_statement был добавлен в язык
 специально для поддержки ограниченных функций конструктора, он
 пригодится всякий раз, когда вам нужно локальное имя для результата
 функции.

 Gem-011_ru.pdf Лимитированные типы в Ada 2005 – Функции
 конструктора, часть 2. Данный пример демонстрирует, как функции
 конструктора можно применять в разных контекстах для создания
 лимитированных объектов на месте.

 Gem-012_ru.pdf Лимитированные типы в Ада 2005 - Нотация типа <> в
 агрегатах, часть 2.

 Gem-013_ru.pdf. Идиомы для работы с прерываниями (Часть 1). Для
 работы с прерываниями в языке
Ada обычно используются две идиомы.
 В данном
Gem рассматриваются эти две идиомы.

 Gem-014_ru.pdf. Идиомы для работы с прерываниями (Часть 2).

 Gem-015_ru.pdf. Таймеры.

 Gem-016_ru.pdf. Прагма No_Return

 Gem-017_ru.pdf. Прагма No_Return, Часть 2 (функции) .

 Gem-018_ru.pdf. Предупреждения GNAT

 Gem-019_ru.pdf. Передача данных объектов Ada в потоке XML.

 Gem-020_ru.pdf. Использование прагмы Shared_Passive для обеспечения
 сохранности данных.

 Gem-021_ru.pdf. Анализ XML текста.

 Gem-022_ru.pdf. Ada-2005 знает много национальных языков.

 Gem-023_ru.pdf. Null считается вредным. Предотвращение значение null,
 
когда подобное нежелательно.

 Gem-024_ru.pdf. Null считается вредным. Предотвращение значение null,
 
когда подобное нежелательно (Часть 2 – Эффективность) .

 Gem-025_ru.pdf. .Как осуществлять поиск текста.

 Gem-026_ru.pdf. .Атрибут Mod .

 Gem-027_ru.pdf. Изменение представления данных (Часть 1)

 Gem-028_ru.pdf. Изменение представления данных (Часть 2), Вопросы
 эффективности
.

 

 

 

Архив новостей 2017-2016 ЗДЕСЬ

Архив новостей продолжение 2016 ЗДЕСЬ

Архив новостей 2015 год  ЗДЕСЬ

Архив новостей 2014 год  ЗДЕСЬ

Архив новостей 2012-2013 год  ЗДЕСЬ

Архив новостей 2012 год ЗДЕСЬ

Архив новостей 2011-2012 год  ЗДЕСЬ

АРХИВ НОВОСТЕЙ 2011 ГОД.

АРХИВ НОВОСТЕЙ 2009— 2010 ГОДЫ.

Обзор зарубежных СМИ (архив 2014 — 2015)

Обзор зарубежных СМИ (архив 2013)

Обзор зарубежных СМИ (архив 2012)

 

Обзор СМИ

Quentin Ochem (Квентин Окем )

“Ada для программистов C++ или Java “

Окем, К. Ada для программистов C++ или Java / Квентин
 Окем ; перевод с англ. и комментарии С. И. Киркорова.—
 Минск : Колорград, 2017.— 170 с.
ISBN 978-985-7170-58-6.
УДК 004.43 ББК 32.973.26-018.2 О-50

Издание доступно в магазине «Академическая книга»

http://www.akademkniga.by/publishers/62/
или в интернет магазине :

 http://magazin.belkniga.by/catalog/nauchnaya_i_tekhnicheskaya_literatura/

kompyuternaya_literatura/kirkorov_s_i_kventin_okem_ada_d_programm/

или в ДК "Светоч" : +375 17 203 82 86, +375 29 629 37 00 и в
 сети магазинов ОАО
«Белкнига» http://www.belkniga.by/

Аннотация

Перевод брошюры Quentin Ochem “Ada for the C++ or
Java Developer”.
Будет полезна программистам,
 использующим языки программирования
C++, Java и,
конечно,
Ada. Также для преподавателей, аспирантов и
студентов ВУЗов.

 

Подписаться на почтовую конференцию Ada-ru
(достаточно послать письмо):

 ada_ru-subscribe@yahoogroups.com

 

Доступен перевод брошюры "Безопасное и надежное
программное обеспечение на примере языка Ада 2012,
SPARK 2014" Джона Барнса.

wiki:files/safe_secure_2012.png

Безопасное и надежное программное обеспечение

на примере языка Ада 2012 и SPARK 2014

Перевод брошюры "Безопасное и надежное программное
обеспечение на примере языка Ада 2012,
SPARK 2014"
Джона Барнса.

Целью данной брошюры является продемонстрировать, как
изучение языка Ада в целом и возможностей, введенных в
редакциях Ада 2005, Ада 2012, в частности, поможет Вам
разрабатывать безопасное и надежное программное
обеспечение независимо от выбранного Вами языка
реализации.

Скачать PDF

 

"Адское" программирование.Ada-95.Компилятор
GNAT.

Copyright (c) А. Гавва май 2004

All Right Reserved V-0.4

Скачать PDF Книга по языку Ада 95

Мы рады предложить Вам книгу "Адское
программирование" любезно предоставленную нам автором,
Александром Гавва. Хотя в библиотеках можно найти много
хороших книг по Аде, все они описывают стандарт языка 83
года. Эта книга, являясь замечательным пособием для
изучающих язык Ада, основана на текущем стандарте Ада
95. Кроме описания самого языка, книга содержит описания
свойственных языку методик программирования и
руководство по использованию свободно распространяемого
компилятора
GNAT.

Книга рекомендована в качестве учебного пособия для
студентов ВУЗов Министерством образования Украины.

Вы можете скачать книгу для некоммерческого
использования. Архив
html версии, размером 395К,
находится
здесь. Есть также Acrobat PDF и
PostScript версии книги.

 

AdaCore сообщает о доступности выпуска GNAT GPL и
SPARK GPL 2017 года. SPARK GPL 17 предлагает
улучшенную автоматизацию доказательств. Инварианты
типов из
Ada теперь также поддерживаются в SPARK. Этот
выпуск также знаменует первое введение функций
«будущего стандарта языка» Ada-2020:

* Дельта-агрегаты (частичная агрегатная запись)

* Интерактивные инварианты класса AI12-0150-1
теперь используют класс

Компилятор toolchain теперь основан на GCC-6. Собственная
среда исполнения поставляется с рабочей средой
Zero Foot
Print,
а коммандер arm-elf поставляется с версиями для
различных плат, включая поддержку
Raspberry Pi2.
Последняя версия GPS IDE содержит множество
исправлений ошибок и улучшений.

Выпуск GPL 2017 можно загрузить:

* Из раздела «Загрузить» в GNAT Tracker для членов
Академии
GNAT по https://www.adacore.com/academia

* С сайта  https://www.adacore.com/community

14.01.2018 Почтовую рассылку Ada-ru теперь можно
использовать как обычный
форум. Для создания новых тем и
отправки сообщений необходимо
зарегистрироваться. В
данный момент работает регистрация с использованием
OAuth2 учетных записей Google, Facebook и GitHub.

Для обсуждения вопросов языка Ada создана почтовая
конференция
Ada_Ru. Участвуя в ней, вы можете получить
ответы на интересующие вас вопросы, касающиеся языка
Ada, узнать новости из мира языка Ada, пообщаться с
единомышленниками. Конференция насчитывает более 70
человек, трафик около 30 сообщений в месяц.

Подписаться на конференцию и посмотреть архив можно на
страничке groups.yahoo.com. Также можно подписаться и
послав письмо по адресу
ada_ru-subscribe@yahoogroups.com.
Рассылка также архивируется на сервере
в разделе "Форум",
где есть возможность читать обычным веб-клиентом.

Также в Фейсбук есть страница, где Ada-ru публикует
новости по теме языка
Ada.
https://www.facebook.com/comp.lang.ada.ru/

10.01.2018 Новая группа в telegram - adalang.

Ada-ru сделала (супер-) группу в Телеграм -
 
https://t.me/adalang
В группе работает шлюз в Jabber и IRC чаты
(
xmpp:ada-ru@conference.jabber.ru, irc://irc.rusnet.org.ru/ada)

29.12.2017 Статья 10 причин выучить язык
программирования
Ada
. Небольшая статья на тему почему
язык программиравания
Ada может быть интересен

.

Ada User Journal

Последний доступный в электронном виде номер журнала можно скачать из архива URL: http://www.ada-europe.org/auj/archive/

Журнал как правило включает следующие разделы:

· Ada Language Status and Evolution

· Ada Experience Reports

· Critical Applications

· Education and Training

· Software Engineering at large

· Case Studies and Experiments

· Management of Software Development and Maintenance

· Software Quality

· Tools

· Component-based Architectures

http://adacode.ru/

Адское программирование

Программирование на языке Ада

http://engenegr.ru/gost-27831-88

ГОСУДАРСТВЕННЫЙ СТАНДАРТ СОЮЗА ССР

ГОСТ 27831-88  (ИСО 8652-87)

ЯЗЫК ПРОГРАММИРОВАНИЯ АДА

Programming language Ada

 

Дата введения 1989-07-01

 

УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Постановлением Государственного комитета СССР по стандартам от 22.09.88 N 3217

Телефон: +375 29 843-751

Факс: нет

Эл. почта: admin@mediascan.by