Моделирование систем для прикладных областей знаний. Пути развития системного программирования (Екатерина Лаврищева, ISPRASOPEN-2019) — различия между версиями

{{LinksSection}}
<!-- * [ Talks page on site] -->
<!-- <blockquote>[©]</blockquote> -->

{{vklink|1481}}                                          
<references/>





<!-- topub -->

[[Категория:ISPRASOPEN-2019]]
[[Категория:Философия программирования]]
{{stats|disqus_comments=0|refresh_time=2020-01-04T16:06:0409T16:13:07.784812511109|vimeo_plays=6|youtube_plays=0}}

Версия 13:13, 9 января 2020

Докладчик

Екатерина Лаврищева

Дана характеристика направлений развития системного программирования ПО (ОС, трансляторов, отладчиков, верификаторов и др.), с помощью которого создаются системы для разных предметных областей знаний (математика, физика, биология, медицина и др.).

Рассмотрены базовые задачи первых ОС и трансляторов у нас в стране на первых ЭВМ, аналогичные системной инженерии Computer Science. Представлена история формирования системного программирования и его применение при решении задач в космосе, авиации и др. Описываются новые теоретические направления моделирования систем (UML, VDM, RAISE, Z и др.), как развитие ООП. Представлены основные научные результаты, полученные по проекту РФФИ No16-01-00352 «Моделирование программных и операционных систем». Описываются базовые операции создания систем (link, make, weaver, config) из модульных элементов в ЯП (Algol, Cobol, Smalltalk, С++, Python, Java и др.) в общесистемной (IBM, WebSthereIBM, MS, .NET, Intel и др.) и в компиляторной (BSD, Java, Linux, Grid, VAMOS и др.) средах.

Определены парадигмы программирования предметных областей и задачи обеспечения безопасности, качества и защиты данных и систем. Показаны перспектива их развития.

Видео

Презентация

Примечания и ссылки

• Discuss on VK

Plays:6   Comments:0