MediaScan

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

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

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)

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 может быть интересна.

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), Вопросы
 эффективности
.

 

Обзор СМИ

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

 

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

Факс: нет

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