Моделирование систем для прикладных областей знаний. Пути развития системного программирования (Екатерина Лаврищева, ISPRASOPEN-2019) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE (\n\n)+(\n) with \2) |
||
| (не показано 6 промежуточных версий этого же участника) | |||
{{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-01-28T13:04:492021-08-31T17:30:43.697423553014|vimeo_plays=67|youtube_comments=0|youtube_plays=065}}
[[Категория:ISPRASOPEN-2019]]
[[Категория:Философия программирования]] | |||
Текущая версия на 12:21, 4 сентября 2021
- Докладчик
- Екатерина Лаврищева
Дана характеристика направлений развития системного программирования ПО (ОС, трансляторов, отладчиков, верификаторов и др.), с помощью которого создаются системы для разных предметных областей знаний (математика, физика, биология, медицина и др.).
Рассмотрены базовые задачи первых ОС и трансляторов у нас в стране на первых ЭВМ, аналогичные системной инженерии 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