Моделирование систем для прикладных областей знаний. Пути развития системного программирования (Екатерина Лаврищева, ISPRASOPEN-2019) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
| (не показаны 4 промежуточные версии этого же участника) | |||
Рассмотрены базовые задачи первых ОС и трансляторов у нас в стране на первых ЭВМ, аналогичные системной инженерии 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 и др.) средах.
Определены парадигмы программирования предметных областей и задачи обеспечения безопасности, качества и защиты данных и систем. Показаны перспектива их развития.
</blockquote>
{{VideoSection}}
{{vimeoembed|240322558|800|450}}
{{youtubelink|d-D7CQl5gyw}}
{{letscomment}}
{{SlidesSection}}
[[File:Моделирование систем для прикладных областей знаний. Пути развития системного программирования.pdf|left|page=-|300px]]
{{----}}
[[File:{{#setmainimage:Моделирование систем для прикладных областей знаний. Пути развития системного программирования!.jpg}}|center|640px]]
{{LinksSection}}
* https://www.ispras.ru/proceedings/isp_31_2019_5/isp_31_2019_5_95/
<!-- * [ Talks page on site] -->
<!-- <blockquote>[©]</blockquote> -->
{{vklink|1481}}
{{fblink|2562428184010187}}
<references/>
<!-- topub -->
{{stats|disqus_comments=0|refresh_time=2020-07-07T22:50:2021-08.341147-31T17:30:43.553014|vimeo_plays=7|youtube_comments=0|youtube_plays=65}}
[[Категория:ISPRASOPEN-2019]]
[[Категория:Философия программирования]] | |||
Текущая версия на 07:23, 20 октября 2025
- Докладчик
- Екатерина Лаврищева
Дана характеристика направлений развития системного программирования ПО (ОС, трансляторов, отладчиков, верификаторов и др.), с помощью которого создаются системы для разных предметных областей знаний (математика, физика, биология, медицина и др.).
Рассмотрены базовые задачи первых ОС и трансляторов у нас в стране на первых ЭВМ, аналогичные системной инженерии 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 и др.) средах.
Определены парадигмы программирования предметных областей и задачи обеспечения безопасности, качества и защиты данных и систем. Показаны перспектива их развития.
Видео
Презентация
Примечания и ссылки
Plays:72 Comments:0
