Полное описание
>
Сухомлин, Владимир Александрович .
Введение в модельно-ориентированную системную и программную инженерию (MBSSE) : учебник для вузов / В. А. Сухомлин, В. Ю. Романов, Д. А. Гапанович ; Московский государственный университет имени М. В. Ломоносова, Факультет вычислительной математики и кибернетики, Фонд содействия развитию интернет-медиа, ИТ-образования, человеческого потенциала "Лига интернет-медиа". - Москва : МАКС Пресс : Лига интернет-медиа, 2024. - 670, [3] с. : ил., табл. - Библиогр. в конце гл. - 1000 экз. -
ISBN 978-5-317-07289-6. -
DOI 10.29003/m4300.978-5-317-07289-6. - Текст (визуальный) : непосредственный.
На обороте титульного листа: МГУ - 270, 1755-2025.
Рубрики: Программное обеспечение ЭВМ -- Проектирование
Кл.слова (ненормированные): АРХИТЕКТУРА -- ЖИЗНЕННЫЙ ЦИКЛ -- ИНЖЕНЕРИЯ ТРЕБОВАНИЙ -- МАТЕМАТИЧЕСКИЕ ОСНОВЫ -- ПРОГРАММИРОВАНИЯ ЯЗЫКИ -- ПРОЦЕССНЫЕ СТАНДАРТЫ -- РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ -- ЦИФРОВЫЕ ДВОЙНИКИ
Аннотация: Системная инженерия является трансдисциплинарным научно-прикладным направлением, объединяющим принципы системного подхода, методы, инструменты и стандарты, предоставляющие интегрированную методологию и соответствующие технологии для проектирования и разработки сложных систем, их всестороннего анализа и проверки, эффективного и безопасного использования. Современный подход к системной инженерии характеризуется акцентированным моделированием систем на протяжении их жизненного цикла с конечной целью создания их цифровых двойников. Он получил название модельно-ориентированной системной инженерии (MBSE, Model-Based Systems Engineering). Последовательная интеграция MBSE с программной инженерией ведет к формированию направления MBSSE (Model-Based Systems and Software Engineering). Именно этому направлению и посвящен данный учебник, главной задачей которого является изучение концептуальных и научно-методических основ MBSE и MBSSE, моделей и методов управления жизненным циклом систем и программного обеспечения, базовых стандартов системной инженерии, изучение и овладение языками моделирования систем UML и SysML и соответствующими инструментами моделирования, изучение методов инженерии требования и разработки описания архитектуры системы, ознакомление с концепцией цифровых двойников и их ролью в MBSE, изучение эталонной модели MBSSE и ее связи с процессными стандартами системной инженерии, изучение методических аспектов процесса интеграция системы и программного обеспечения. Заключительная глава учебника посвящена изучению математических основ системной инженерии. Рассматриваются как основные аспекты математической теории систем А. Уэйна Уаймора, ставшей важным стимулом развития модельно-ориентированного подхода в системной инженерии, так и современные исследования, включая аппарат конечных автоматов Дэвида Харела, формализм моделирования дискретных систем DEVS, исследования теории категорий как формальной математической основы для системного проектирования на основе моделей.
Доп. точки доступа: Романов, Владимир Юрьевич
Гапанович, Дмитрий Анатольевич
Московский государственный университет имени М. В. Ломоносова. Факультет вычислительной математики и кибернетики
"Лига интернет-медиа", фонд (Москва)
https://biblio.litres.ru/pages/biblio_book/?art=72042532
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-24/79304)
ЛитРес : 123112, г. Москва, 1-й Красногвардейский пр., 15 (Шифр в БД-источнике (LITRES): cdeecc78-470b-4464-9827-db9d4a2ef6fb)>
Шифр в сводном ЭК: e6da4ec7d10abeb26e294cd87c17b137
Фефелова, Т. Л. Технологическая обработка текстильных изделий : учебное пособие в 3-х частях. Ч. 3 : Технологическая обработка текстильных изделий, 2019. - 71 с. - Текст : непосредственный. Назарова, Маргарита Владимировна. Разработка автоматизированных методов прогнозирования уровня напряженности работы оборудования ткацкого производства : монография / М. В. Назарова, В. Ю. Романов, 2016. - 103 с. - Текст (визуальный) : непосредственный. Назарова, Маргарита Владимировна. Моделирование технологических параметров ткацкого производства на ЭВМ : монография / М. В. Назарова, В. Ю. Романов, 2015. - 103 с. - Текст (визуальный) : непосредственный. Фефелова, Т. Л. МДК. 02.01. Технология обработки текстильных изделий : учебное пособие в 2-х частях. Ч. 2, 2021. - 147 с. - Текст : непосредственный. Романов, Владимир Юрьевич. Физические основы измерений : учебное пособие / В. Ю. Романов, 2021. - 99 с. - Текст (визуальный) : непосредственный. Романов, Владимир Юрьевич. Анализ состояния и перспективы развития технологии первичной переработки натуральных волокон : монография / В. Ю. Романов, С. Ю. Бойко, 2021. - 111 с. - Текст (визуальный) : непосредственный. Куррикулум дисциплины "Кибербезопасность" : научное издание / В. А. Сухомлин, С. В. Лебедь, О. С. Белякова [и др.], 2022. - 401 с. - Текст (визуальный) : непосредственный. Романов, Владимир Юрьевич. МДК 04.01 Перспективы развития технологии текстильного производства : учебное пособие / В. Ю. Романов, 2022. - 167 с. - Текст (визуальный) : непосредственный. Романов, Владимир Юрьевич. Проектирование предприятий отрасли : учебно-методическое пособие / В. Ю. Романов, С. Ю. Бойко, 2023. - 119 с. - Текст (визуальный) : непосредственный. Турашев А.С. Обнаружение низкоинтенсивных DoS атак с помощью применения комбинированной нейронной сети с использованием алгоритма анализа уровня DoS атаки / А. С. Турашев, В. А. Сухомлин. - Текст : непосредственный // Современные информационные технологии и ИТ-образование : международный научный журнал / "Лига-интернет-медиа", фонд содействия развитию интернет-медиа, ИТ-образования, человеческого потенциала (Москва). - Москва : Лига интернет-медиа, 2022. - Т. 18 N 4. - с. 872-877 Сухомлин, Владимир Александрович. Введение в модельно-ориентированную системную и программную инженерию (MBSSE) : учебник для вузов / В. А. Сухомлин, В. Ю. Романов, Д. А. Гапанович, 2024. - 670, [3] с. - Текст (визуальный) : непосредственный. Инновационные технологии в обучении и производстве : материалы XVIII Всероссийской заочной научно-практической конференции, г. Камышин, 19-20 ноября 2024 г. / Минобрнауки России, Волгоградский государственный технический университет, Камышинский технологический институт (филиал) ; под общей редакцией Романова В. Ю. Т. 1, 2024. - 199 с. - Текст : непосредственный. Инновационные технологии в обучении и производстве : материалы XVIII Всероссийской заочной научно-практической конференции, г. Камышин, 19-20 ноября 2024 г. / Минобрнауки России, Волгоградский государственный технический университет, Камышинский технологический институт (филиал) ; под общей редакцией Романова В. Ю. Т. 2, 2024. - 155 с. - Текст : непосредственный. России - творческую молодёжь : материалы XVIII Всероссийской научно-практической студенческой конференции, г. Камышин, 17-18 апреля 2025 г. : [в 5 т.] / Минобрнауки России, Волгоградский государственный технический университет, Камышинский технологический институт (филиал) ; под общей редакцией Романова В. Ю. Т. 2, 2025. - 155 с. - Текст : непосредственный. России - творческую молодёжь : материалы XVIII Всероссийской научно-практической студенческой конференции, г. Камышин, 17-18 апреля 2025 г. : [в 5 т.] / Минобрнауки России, Волгоградский государственный технический университет, Камышинский технологический институт (филиал) ; под общей редакцией Романова В. Ю. Т. 4, 2025. - 167 с. - Текст : непосредственный. России - творческую молодёжь : материалы XVIII Всероссийской научно-практической студенческой конференции, г. Камышин, 17-18 апреля 2025 г. : [в 5 т.] / Минобрнауки России, Волгоградский государственный технический университет, Камышинский технологический институт (филиал) ; под общей редакцией Романова В. Ю. Т. 5, 2025. - 123 с. - Текст : непосредственный. России - творческую молодёжь : материалы XVIII Всероссийской научно-практической студенческой конференции, г. Камышин, 17-18 апреля 2025 г. : [в 5 т.] / Минобрнауки России, Волгоградский государственный технический университет, Камышинский технологический институт (филиал) ; под общей редакцией Романова В. Ю. Т. 3, 2025. - 195 с. - Текст : непосредственный. Романов, Владимир Юрьевич. Патентно-лицензионная работа : учебное пособие / В. Ю. Романов, 2025. - 104 с. - Текст (визуальный) : непосредственный. Инновационные технологии в обучении и производстве : материалы XIX Всероссийской заочной научно-практической конференции, г. Камышин, 27-28 ноября 2025 г. / Минобрнауки России, Волгоградский государственный технический университет, Камышинский технологический институт (филиал) ; под общей редакцией Романова В. Ю. Т. 2, 2026. - 159 с. - Текст : непосредственный. Инновационные технологии в обучении и производстве : материалы XIX Всероссийской заочной научно-практической конференции, г. Камышин, 27-28 ноября 2025 г. / Минобрнауки России, Волгоградский государственный технический университет, Камышинский технологический институт (филиал) ; под общей редакцией Романова В. Ю. Т. 1, 2026. - 135 с. - Текст : непосредственный. Вестник Московского университета : науч. журн. Сер. 1, Математика. Механика / Московский государственный университет имени М. В. Ломоносова, . - Журнал. - Текст : непосредственный. Вестник Московского университета : Науч.журн. Сер. 3, Физика, астрономия / Московский государственный университет имени М. В. Ломоносова, . - Журнал выходит с 1946г. - Текст : непосредственный. Вестник Московского университета. : науч. журн. Сер.11, Право / Московский государственный университет имени М. В. Ломоносова, . - Журнал выходит с 1960г. - Текст : непосредственный. Интеллектуальная система тематического исследования научно-технической информации ("Истина") / С. А. Афонин, А. В. Бахтин, В. Ю. Бухонов [и др.] ; под редакцией В. А. Садовничего, 2014. - 262 с. - Текст : непосредственный. Кудряшов Ю.Б. Радиационная биофизика. Сверхнизкочастотные электромагнитные излучения : учебник / Ю. Б. Кудряшов, А. Б. Рубин, 2014. - 215 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный. Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный. Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный. Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный. Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный. Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный. Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный. Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный. Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный. MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный. Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный. Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный. Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный. Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный. Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный. Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный. Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный. Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный. Показать все результаты От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Cameron J.R. JSP and JSD : сборник научных трудов / J. R. Cameron, 1989. - X,526 p. p. - Текст : непосредственный. Корухова Ю.С. Система автоматического синтеза функциональных программ : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / Ю. С. Корухова, 2005. - 18 c. - Текст : непосредственный. Филимонов А.В. Разработка и реализация многоуровневых алгоритмов декомпозиции гиперграфовых моделей / А. В. Филимонов, 2008. - 23 с. - Текст : непосредственный. Рубанов В.В. Автоматизация построения инструментария кросс-разработки программного обеспечения для расширяемых встраиваемых систем / В. В. Рубанов, 2008. - 23 с. - Текст : непосредственный. Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Мартин Р.К. Быстрая разработка программ : монография / Р. К. Мартин, Д. В. Ньюкирк, Р. С. Косс, 2004. - 744 с. - Текст : непосредственный. Самойлов В.Д. Модельное конструирование компьютерных приложений / В. Д. Самойлов, 2007. - 198 с. - Текст : непосредственный. Скопин И.Н. Основы менеджмента программных проектов / И. Н. Скопин, 2004. - 333 с. - Текст : непосредственный. Бергстрем С. Rational Unified Process - путь к успеху : методический материал / С. Бергстрем, Л. Роберг, 2004. - 256 с. - Текст : непосредственный. Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Software process and product measurement / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Петров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / К. В. Петров, 2007. - 19 с. - Текст : непосредственный. Зыль С. Проектирование, разработка и анализ программного обеспечения систем реального времени / С. Зыль, 2010. - 328 с. - Текст : непосредственный. Применение технологии визуального конструирования программ / Санкт-Петербургский гос. электротехнический ун-т им. В. И. Ульянова (Ленина), 1994. - 47 c. - Текст : непосредственный. Глухих М.И. Программная инженерия. Обеспечение качества программных средств методами статического анализа : учебное пособие / М. И. Глухих, В. М. Ицыксон, 2011. - 149 с. - Текст : непосредственный. Венчковский Л.Б. Разработка сложных программных изделий / Л. Б. Венчковский, 1999. - 109 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Просмотр издания