MediaScan

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

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

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

 

21.06.2018

Gem-091_ru.pdf .Gem #91: GPS - автоматическое дополнение ввода (Часть 2 из 2)

Автор: Quentin Ochem, AdaCore

Краткое содержание: В Gem #91 продолжается тема
автоматического дополнения ввода
GPS, начатая в первой части
этой серии публикаций. В
Gem #91 можно ознакомиться с
новшествами, которые станут доступны в следующей версии
GPS.

 

20.06.2018

Gem-086_ru.pdf .Gem #86: Тест 1 по языку Ada - Базовые типы

Автор: Quentin Ochem, AdaCore

Краткое содержание: Данный Gem - один из периодически
публикуемых тестов по языку Ада, состоящих из вопросов по
свойствам и функциям языка, взятых из курсов
AdaCore.

Gem-088_ru.pdf .Gem #88: GPS - автоматическое дополнение ввода (Часть 1 из 2)

Автор: Quentin Ochem, AdaCore

Краткое содержание: В данном Gem в виде легко воспроизводимого
на практике руководства будет показано, как пользоваться
автоматическим дополнением ввода. Здесь будут описаны уже
доступные в
GPS 4.4.0 возможности. В дальнейшем будут
представлены новые возможности, реализованные в следующей
версии
GPS.

Gem-089_ru.pdf .Gem #89: Архетипы кода программирования в реальном времени - Часть 1

Автор: Marco Panunzio, University of Padua

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

 

11.06.2018

Gem-084_ru.pdf .Gem #84: Приложение к стандарту языка Ada
«
Распределенные системы» (The Distributed Systems Annex)

Часть 1 - Простой клиент/сервер

Автор: Thomas Quinot, AdaCore

Краткое содержание: Gem Ada #84 - Этот Gem - первый в серии
публикаций, показывающих возможности вспомогательного
приложения по распределённым системам, описанного в
Справочном Руководстве языка
Ada (Приложение Е). В Gem Ada
#84
будет показано, как архитектура простого клиент/сервера
может быть реализована с помощью приложения
«Распределённые
системы
» (ПРС) (the Distributed Systems Annex (DSA)).

Gem-085_ru.pdf .Gem #85: Приложение к стандарту языка Ada «Распределенные системы» (The Distributed Systems Annex)

Часть 2 - Распределенные объекты

Автор: Thomas Quinot, AdaCore

Краткое содержание: В Gem Ada #85 представляются
распределённые объекты, с помощью которых можно
устанавливать динамические отношения между компонентами
распределённого приложения.

Gem-087_ru.pdf .Gem #87: Приложение к стандарту языка Ada «Распределенные системы» (The Distributed Systems Annex)

Часть 3 - Почтовые ящики

Автор: Thomas Quinot, AdaCore

Краткое содержание: В Gem #87 будет продемонстрировано, как на
основе распределённых объектов  можно реализовать
асинхронную передачу сообщений.

Gem-090_ru.pdf .Gem #90: Приложение к стандарту языка
«Распределённые системы» (ПРС) (The Distributed Systems Annex)
(DSA)

Часть 4 – ПСР (DSA) и язык С

Автор: Thomas Quinot, AdaCore

Краткое содержание: Gem #90: В Gem Ada #90 будет описано, как
применять данные инструменты в программе на языке С.

01.06.2018

Gem-082_ru.pdf .Gem #82: Надежность на основе типов:

Обработка данных, значение которых может быть потенциально
изменено пользователей (данных типа
«tainted»).

Автор: Yannick Moy, AdaCore

Краткое содержание: Gem Ada #82 - Благодаря надежной системе
типов в
Ada довольно удобно проверять в процессе компиляции
верификацию таких параметров безопасности, как, например,
использование значений, которые не могут быть изменены
пользователем там, где это необходимо, или надлежащая проверка
данных перед их использованием в уязвимом контексте (например,
при возможной попытке взлома путём внедрения
SQL кода).

В этой и последующей публикации будут представлены два кратких
примера данной практики. В
Gem Ada #82 обсуждается обработка
данных, которые потенциально могут быть изменены
пользователем.

Gem-083_ru.pdf Gem #83: Надёжность на основе типов:

Проверка входных данных.

Автор: Yannick Moy, AdaCore

Краткое содержание: Gem Ada #83 - Благодаря надёжной системе типов в Ada довольно удобно проверять в процессе компиляции верификацию таких параметров безопасности, как, например, использование значений, которые не могут быть изменены пользователем там, где это необходимо, или надлежащая проверка данных перед их использованием в уязвимом контексте (например, при возможной попытке взлома путём внедрения SQL кода).

В предыдущем Gem Ada #82 обсуждалась обработка данных, которые потенциально могут быть изменены пользователем. В Gem Ada #83 будет разъяснено, как осуществлять проверку входных данных, поступающих команде SQL. (Пройдя по данной ссылке, можно прочитать весёлый комикс, описывающий взлом вводом SQL-кода: http://xkcd.com/327/ )  .

23.05.2018

Gem-081_ru.pdf Gem #81: Семафоры GNAT.

Автор: Pat Rogers , AdaCore

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

22.05.2018

Gem-077_ru.pdf Gem #77: Куда делась моя память? (Часть 1)

Gem-078_ru.pdf Gem #78: Куда делась моя память? (Часть 2)

Gem-079_ru.pdf Gem #79: Куда делась моя память? (Часть 3)

Автор: Emmanuel Briot, AdaCore

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

21.05.2018

Gem-070_ru.pdf  Gem #70: Идиома Scope Locks (Идиома блокировок области кода).

Автор: Pat Rogers , AdaCore

Краткое содержание: Gem Ada #70 - Инкапсуляция разделяемых
переменных в защищённых операциях не всегда возможна. В
Gem
Ada #70
будет показано, как добавлять взаимные исключения в
существующий последовательный код с помощью комбинации
контролируемых и защищённых типов так, чтобы получившийся в
результате код был надёжен и максимально неизменен. В
результате идиома
Scope Locks реализуется методом под
названием "
Resource Acquisition Is Initialization – получение
ресурсов-инициализация" (
RAII)

19.05.2018

Gem-067_ru.pdf Gem #67: Управление рабочим столом и меню GPS.

Автор: Emmanuel Briot, AdaCore

Краткое содержание: Gem Ada #67 - Для работы с GPS (GNAT
Programming Studio)
есть множество возможностей отображения
редакторов и меню. Несколько таких меню могут быть отображены
на экране одновременно. Гибкое меню рабочего стола позволяет
организовывать необходимые окна наиболее удобным
разработчику способом. В данном
Gem #67 описываются
некоторые менее известные аспекты рабочего меню
GPS.

18.05.2018

Gem-065_ru.pdf: Gem #65: Утилита управления компиляцией приложений
в
GNAT: gprbuild

Автор: Emmanuel Briot, AdaCore

Краткое содержание: Gem Ada #65 - gprbuild - это новая функция
построения программ, заменившая
gnatmake. Она работает со множеством
языков, автоматически контролирует зависимость по исходному коду и
уменьшает необходимость повторной компиляции. В данном
Gem #65 в
общих чертах описывается работа
gprbuild.

Gem-066_ru.pdf: Gem #66: Редактор клавиш быстрого доступа GPS.

Автор: Emmanuel Briot, AdaCore

Краткое содержание: Gem Ada #66 - Доступ к большинству функций GPS
можно получить из меню и контекстных меню. Но большинство
пользователей предпочитают пользоваться клавишами быстрого доступа,
так как они более быстры и эффективны. Хотя некоторые клавиши
быстрого доступа к
GPS предопределены программой, остальные можно
переназначить на своё усмотрение, что будет особенно полезно при
переходе на новый редактор.

17.05.2018

Gem-063_ru.pdf: Gem #63: Действие прагмы Suppress.

Автор: Gary Dismukes, AdaCore

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

Gem-064_ru.pdf: Gem #64: Обработка многоэлементных файлов исходного
кода

Автор:  AdaCore

Краткое содержание: Gem Ada #64 - В данном Gem демонстрируется, как
можно компилировать приложения в
GNAT, если в файле исходного кода
содержится множество элементов. Лучше всего разбить файл исходного
кода на несколько частей, и в данном
Gem #64 будет показано, как именно
можно этого добиться, но, помимо этого, в
GNAT доступен обходной
вариант, который позволяет сохранить файл исходного кода.

16.05.2018

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

Автор: Arnaud Charlet, AdaCore

Краткое содержание: Gem Ada #60 - В Gem #59 было показано, как можно
 легко автоматически генерировать связи с заголовочными файлами
C в
Ada.  В данном Gem будет продемонстрировано, как с не меньшей
лёгкостью можно генерировать связи с заголовочными файлами
C++.

Gem-061_ru.pdf: Gem #61: Сопряжение с конструкторами C++

Автор: Javier Miranda, Arnaud Charlet, AdaCore

Краткое содержание: Gem Ada #61 - В предыдущем Gem,
демонстрирующем генерацию связей с заголовочными файлами C++,
было кратко упомянуто сопряжение Ada с конструкторами C++ с
помощью прагмы
CPP_Constructor.

В данном Gem представляются типичные примеры использования
конструкторов
C++ в GNAT в программах, написанных на смешанных
языках, а в следующем
Gem будет показано применение нескольких
весьма полезных взаимодействий функций
Ada 2005 и конструкторами
С++.

Gem-062_ru.pdf: Gem #62: Конструкторы С++ и Ada 2005.

Автор: Javier Miranda, Arnaud Charlet, AdaCore

Краткое содержание: Gem Ada #62 - В предыдущем Gem было
продемонстрировано, как можно просто осуществлять взаимодействие
Ada и конструкторов С ++.

В данном Gem будет показано, как создавать связи Ada и конструкторов
С ++ на более современном уровне.

 

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

Доступны для загрузки перевод на русский язык первых трех статей из
 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-7571

Факс: нет

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