• ВХОД

    •  

    Полное описание

    Ж2-23/76912
    004.41/Л 135
     Лаврищева, Екатерина Михайловна. Проекты РФФИ №16-01-00352 (2016-2018) "Теория и методы разработки программных и операционных систем", №19-01-00206 (2019-2021) "Модели, методы и средства обеспечения надежности, безопасности и защиты данных в программных, технических и информационных системах" / E. М. Лаврищева ; соисполнители проектов В. В. Кулямин [и др.] ; Институт системного программирования имени В. П. Иванникова РАН. - Москва : ИСП РАН, 2023. - 400 с. : ил. - Библиогр. в конце разд. - Тираж не указ. - 500 р. - Текст (визуальный) : непосредственный.
    ГРНТИ УДК
    50.41004.41
    50.41.15004.451
    50.37.23004.056

    Рубрики:
    Программное обеспечение ЭВМ -- Проектирование
    Операционные системы
    Информация -- Сохранность

    Кл.слова (ненормированные): прикладные системы -- моделирование -- программирование -- вариабельность -- сложные прикладные системы -- обработка данных -- надежность -- качество -- интернет -- сборка ресурсов -- формальное моделирование
    Аннотация: В монографии представлены методы моделирования и программирования программно-технических, информационных и операционных систем с обеспечением качества, безопасности и защиты, исследованные в проектах РФФИ N16-01-00352 (2016-2018) и РФФИ N19-01-00206 (2019-2021). Основу моделирования и программирования прикладных систем составляет: отечественный метод сборки (связывания-linking) прикладных ресурсов в более сложные системы и 64 функции преобразования обмениваемых типов данных ресурсов с учетом стандарта ISO/IEC 11404 GDT-1996 в общесистемных средах IBM, MS, OMG, Oberon, INTEL, UNIX и др., сделанных в 80-е годы XX века. Представлены формальные средства спецификации ресурсов (VDM, Z, Clear, Monadic, ОКМ, GDM), технологии программирования ОС и трансляторов; системных и сервисных средств моделирования программных и технических систем (SOA, SCA, SCM, WSDL, Grid, Etics и др.). Описана онтология в Semantic Web для представления задач вычислительной математики, геометрии, биологии и Жизненного цикла стандарта ISO/IEC 12207, представленного на Конференции в Лондоне "Sciences and Information-2015".
    Доп. точки доступа:
    Кулямин, Виктор Вячеславович\исполн.\
    Институт системного программирования имени В. П. Иванникова (Москва)
    Экз-ры полностью Ж2-23/76912
    Имеются экземпляры в отделах: всего 2 : ХРЦ (1), ПНТ (1)
    Свободны: ХРЦ (1), ПНТ (1)
    Обложка



    Заказ фрагмента документа ₽