MediaScan

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

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

15.03.2017 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/kompyuternaya_literatura_n/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. Также для преподавателей, аспирантов и студентов ВУЗов.

 

06.02.2017

Обработка текста на языке Ada — Видеоролик доклада на AdaLanD 2016  http://www.mediascan.by/index.files/AdaLanD2016/AdaLanD.avi (70 Mbyte)

 

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

 

14.06.2017

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

 

20.06.2017

Доступен для загрузки перевод на русский язык в формате PDF: Gem-005_ru.pdf — Поиск по ключу в множествах (контейнеры SET) .

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

 

21.06.2017

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

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

 

22.06.2017

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

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

 

28.06.2017

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

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

 

29.06.2017

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

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

 

 

 

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

Факс: нет

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

Обзор СМИ

Видеоролик по установке

GNAT GPL Edition

свободно распространяемого инструментария для разработки программного обеспечения на языке программирования Ada

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

08.02.2017 Доступен перевод брошюры "Безопасное и надежное программное обеспечение на примере языка Ада 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 версии книги.

 

15.06.2017

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

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

 

 

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

 ada_ru-subscribe@yahoogroups.com

 

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

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

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

 

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

Факс: нет

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

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 ГОДЫ.