MediaScan

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

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

 

15.12.2014 Выписка из письма :

 

«03» декабря  2014 Исх. №68-288

                                                                                 Директору

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

                                                                                         Киркорову С. И.

 

 

Empress Court, 2 Woodins Way, Paradise Street, Oxford, OX11HF

 www.summitofleaders.co.uk

 

Совет экспертов ЕБА  принял решение представить Ваше предприятие к получению высшей награды европейских деловых кругов – «Лучшее предприятие»  ("Best  Enterprises", рег.#2401351) с вручением руководителю   отличия  «Лучший топ-менеджер года»,   именного  сертификата и  включением предприятия  в общеевропейский реестр динамично  развивающихся  компаний (Юридические, патентные и иные права  защищены законодательством  Великобритании).

 

08.12.2014 Доступна для загрузки версия OEM-2014 адаптированная под  GNAT GPL 2014 for MS Windows XP/7/8. Новая GPL версия упакована в единственный файл формата ZIP. Подробности в разделе Программы. Архив можно загрузить напрямую ЗДЕСЬ (328 Мбайт) OEM2014.zip .

Архив GNAT GPL 2014 for MS Windows XP/7/8 достаточный для использования  OEM-2014 можно загрузить ЗДЕСЬ (593 Мбайт) gnat2014gpl.zip .

 

07.10.2014 AdaCore завершило цикл статей под логотипом Gem. За этот период— 7 лет– было опубликовано 160 статей от 22 авторов, каждый из которых является признанным мировым сообществом профессионалам. Большинство тематических статей обсуждали: реализацию стандартов языка Ada-2005 и Ada-2012, вопросы сертификации программ, создание распределённых систем, создание встраиваемых систем, целостность и безопасность в программировании, формальные методы доказательства правильности и верификация программ, IDEs, библиотеки и  bindings, использование в программе различных языков программирования, моделирование, мульти ядерное программирование, инструментарий статического анализа безопасности кода программы, средства тестирования и динамического анализа кода программы.

Каждая статья — драгоценный камень, а цикл статей — сокровище знаний современного индустриального программирования. Архив Gem доступен по ссылке:

http://www.adacore.com/adaanswers/gems/archive

 

30.07.2014 Новый курс Ada 003 “Programming in the large” посвящен разработке больших проектов. Это уже третий курс в дополнение к находящимся на ресурсе курсам Ada 001 “Overview” и Ada 002 “Basic Concepts”. university.adacore.comонлайн ресурс для самостоятельного обучения программированию на языке Ada

 

08.07.2014 Перевод на русский язык видеозаписи презентации "Introduction to Ada 2012" доступен подписчикам почтовой конференции Ada-ru . (продолжительность 1 час 03 минуты)

А также по ниже приведенной ссылке: Введение в Ada 2012

 

27.05.2014 Опубликована Программа международной научно-технической конференции «КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ В НАУКОЕМКИХ ТЕХНОЛОГИЯХ» (КМНТ-2014). Загрузить ЗДЕСЬ.

 

Сайт КМНТ: http://www.dsmmph.org.ua/kmnt.html

Сайт ФКН: http://www-csd.univer.kharkov.ua

 

24.04.2014 2-й семинар по технологии языка программирования Ada и языковому разнообразию (2nd Workshop on Ada Technology and Language Diversity — AdaLanD WS) пройдет в рамках 7-ой международной конференции DESSERT 2014 (7th International Conference Dependable Systems, Services & Technologies), которая состоится с 16 по 19 мая.

Сайт конференции: http://www.dessertcon.com/

Организаторы :

 National Aerospace University KhAI

Sevastopol Banking Institute of Banking University, National Bank of Ukraine

Research and Production Corporation RADIY

IEEE Ukraine Section

Description :

2nd Workshop on Ada Technology and Language Diversity (AdaLanD WS 2014)

The traditional objective of the WS is to discuss Ada technologies as one of the basic approaches to develop critical software and embedded systems.

More generally, WS will discuss static analysis and metric-based techniques to assessment of language-oriented software projects. Such analysis and techniques are attractive to software developers regardless of what languages they use.

So, all interested developers are invited to discuss and compare the tools and methods of the static analysis used in technologies based on C/C++, Java, VHDL and others.

Besides, we invite participants to give careful consideration to a problem of languages diversity, meaning diversity of software technologies in context of safety and quality assurance.

Main topics of the workshop:

Language oriented based tools and techniques to provide context-sensitive code generation

New opportunities for software verification by static methods

Conversion for programming languages and data descriptions

Language diversity in context of Ada technologies, hybrid - process and data oriented software systems, and software verification

Workshop Chair :

Victor Mishchenko, DrS, Prof. of Computer Science Department, V.N. Karazin Kharkiv National University, Ukraine

Workshop Co-chairs :

Oksana Pomorova, DrS, Professor, System Programming Department, Khmelnitsky National University, Ukraine

Siarhei Kirkorau, RPC MediaScan, Minsk, Republic of Belarus

Program of the WS is compiling in process of receipt annotations now.

Within the workshop the following activities are planned:

Session 1, May 16, 1515, Kharkov, V.N. Karazin Kharkiv National University, CS Dept

Victor Mishchenko. Perspectives of the Green IT examination by static approach oriented toward the ASIS.

Maxim Reznik. OOP approaches in attributed grammars evaluation.

Sergei Lodyagin. Standard library diverseness as a program verification method.

Alina Paseka. Online assessment of graphic Software System Schemes by Energy Metrics.

Session 2, May 17, 1005, Kharkov, V.N. Karazin Kharkiv National University, CS Dept

Andrii Gakhov, Victor Mishchenko. Machine Learning in Green IT.

Artem Uvarenko. Energy metrics evaluation for Java applications.

Dmitry Cherny. Comparison of random processes generators developed in Ada and Java languages.

Roman Solianik. On the diversity developing of Ada types to be matched against a given XML schema of a certain class.

Session 3, May 18, Kyiv, Taras Shevchenko National University of Kyiv, Institute of Postgraduate Education

Victor Mishchenko. Review of WS AdaLand reports and summarizing the discussion.

 

 

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

 

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

Факс: нет

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

Приглашаем Вас посетить

 белые страницы (WHITE PAPER)

УП МедиаСкан и ознакомиться с технологиями на базе языка программирования Ada на сайте

 www.ada-ru.org .

Загрузите Ada библиотеку ориентированную на Win32

Платформа OEM for MS Windows 2012 (для GNAT GPL 2012)