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

{{vimeoembed|240322558|800|450}}
{{youtubelink|}}{{letscomment}}

{{SlidesSection}}
[[File:Моделирование систем для прикладных областей знаний. Пути развития системного программирования.pdf|left|page=-|300px]]

{{----}}
[[File:{{#setmainimage:Моделирование систем для прикладных областей знаний. Пути развития системного программирования!.jpg}}|center|640px]]
{{LinksSection}}
<!-- * [ Talks page on site] -->
<!-- <blockquote>[©]</blockquote> -->

{{vklink|1481}}                                          
<references/>





<!-- topub -->

[[Категория:ISPRASOPEN-2019]]
[[Категория:Философия программирования]]

Версия 12:00, 12 декабря 2019

Докладчик

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

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

Рассмотрены базовые задачи первых ОС и трансляторов у нас в стране на первых ЭВМ, аналогичные системной инженерии 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