Лаврищева Е., Петренко А.В., Петров И..Тугаринова, Атлантов В. и др.; Хор и Орк, Парадигмы моделирования и программирования задач предметных областей знаний
Директ-Медиа, 2021 г., 496 стр., 9785449918895
Наличие в интернет-магазинах
Описание книги
Купить эту книгу можно в интернет-магазинах
Поделиться ссылкой на книгу
Содержание книги
ПРЕДИСЛОВИЕ......3Глава 1. Фундаментальные и прикладные основы моделирования научных и технических задач в период информатизации......81.1. История моделирования научно-технических задач на первых ЭВМ......81.2. Моделирование и программирование математических и прикладных задач на первых ЭВМ......111.2.1. Моделирование прикладных задач на первых ЭВМ......231.3. Развитие парадигм моделирования и программирования ПТС......261.3.1. Классификация парадигм программирования......271.3.2. Логическое программирование и дедуктивный вывод......271.3.3. Парадигмы прикладного программирования......341.3.4. Парадигма и стили императивного программирования......351.3.5. Парадигма согласованного
параллельного и композиционного программирования......371.3.6. Парадигмы объектно-ориентированного программирования (ООП)......441.3.7. Парадигма моделирования UML (Unified Modeling Language)
Z
CLEA......491.3.8. Парадигма декларативного стиля программирования......521.3.9. Парадигма прикладного программирования......551.3.10. Моделирование и программирование ПТС......561.4. Парадигмы математического программирования......731.4.1. Парадигма модульного сборочного программирования......751.4.2. Стили сборочного программирования......861.4.3. Парадигма графового моделирования программных структур из модулей......901.4.4. Технология программирования ПТС......1101.4.5. Аспектное (расслоенное) программирование (АОП)......1151.4.6. Агентное программирование (АП) интеллектуальных систем......1161.4.7. Парадигмы математического моделирования задач прикладной математики......1231.5. Парадигма инженерии ПО (Software Engineering) и прикладных систем......1451.5.1. Парадигма инженерии ПО SWEBOK......1451.5.2. Парадигма инженерии компонентов — CBSE......1491.5.3. Парадигмы безопасности и защиты в среде Интернет......1521.5.4. Автоматное программирование для информационных систем (ИС)......1601.6. Парадигма инженерии доменов в языке DSL......1631.7. Парадигмы программирования SE AGILE......1671.8. Теория программирования в период информатизации......1681.8.1. Парадигма инженерии компьютерных наук и информатики......1691.8.2. Парадигмы дисциплин программирования SE......1711.8.3. Информатика и парадигма информационных систем......1751.8.4. Парадигма представления знаний о предметных научных областях......1781.8.5. Информационно-технические парадигмы КС после 1992 г......1781.8.6. Языки программирования стандарта WWW3C Интернет......1801.9. Парадигма объектного и компонентного моделирования (ОКМ) ПТС......1821.9.1 Изменение денотатов и концептов объектов......1851.9.2. Уровни логико-математического моделирования ПрО......1861.9.3. Формальные основы объектного анализа......1961.10. Парадигма компонентного моделирования в ОКМ......2021.11. Парадигма конфигурационной сборки объектов и компонентов......2221.12. Парадигма нанотехнологий для медицины
биологии
генетики......2261.13. Пути развития средств моделирования предметных областей знаний......230Литература к главе 1......231Глава 2. Интеллектуализация и онтологизация знаний предметных областей средствами E-science и Semantic Web Internet (1992–2020)......2362.1. Электронная Е-SCIENCE и представление знаний о предметных областях......2362.1.1. Электронная Е-наука и способы представление знаний......2382.1.2. Парадигма представления знаний предметных областей в Семантик Веб......2402.1.3. Семантик Веб для представления знаний о прикладных областях......2432.2. Методы анализа
поиска и извлечения знаний......2442.3. Парадигма концептуального моделирования предметных областей знаний......2472.4. Методология описания прикладных систем и приложений в среде Семантик Веб......2482.5. Языки описания онтологий предметных областей знаний......2522.6. Онтологические стандарты системы знаний Семантик Веб......2562.7. Языки описания предметных областей знаний......2612.8. Интеллектуальные модели MDD
MDA
MGD
SOA
SCA
GCM создания доменов и систем......2642.9. Стандартные средства описания онтологии......2722.10. Онтология предмета обучения — Вычислительная геометрия......2742.11. Онтологическая парадигма домена ЖЦ 12207......2822.12. Экспертная система онтологической поддержки КПИ......288Вспомогательная литература......294Основная литература......294Дополнительная литература участников проектов РФФИ......295Глава 3. Моделирование вариабельных (изменяемых) прикладных систем
семейств систем и ОС (2002–2020)......2983.1. Определение понятия вариабельности систем и семейств......2993.2. Парадигма моделирования вариабельных ПС и СПС......3003.2.1. Парадигма формальной верификации моделей ПС и СПС......3033.2.2. Подходы к верификации вариабельных моделей Msys и FM......3063.3. Парадигма генерирующего программирования (Чернецки
Ильин)......3083.4. Моделирование изменяемых ПС и СПС из КПИ......3123.5. Процесс конфигурационной сборки артефактов в СПС......3173.6. Парадигма тестирования ПС и семейств СПС......3183.7. Моделирование вариантов OS Linux для прикладных систем......3233.7.1. Подходы к созданию варианта ОS Linux......3263.7.2. Метод извлечения Data Mining ОС в среде LEADT......3263.7.3. OS Linux для моделирования вариантов ядра прикладным системам......3293.7.4. Общий подход к созданию экспериментального ядра ОS Linux......3383.8. Метод конфигурирационной сборки ОС и ПС......3403.9. Построение веб-приложений и сайтов из готовых ресурсов......3423.9.1. Формальные средства RDF для описания ресурсов Интернет......3473.9.2 Анализ клиент-серверной архитектуры для сервисов Интернет......3503.9.3. Базовые средства для создания Веб-сайтов......3513.9.4. Модели SOA и SCA для создания Веб-систем......3523.10. Клиент-сервисная архитектура при создании веб-систем......3543.10.1. Инструменты сборки сервисных ресурсов......3613.11. Методы оценки надежности и безопасности ПТС......3623.11.1. Методы оценки надежности оборудования и систем......3653.11.2. Определение работоспособной надежности систем......3663.11.3. Базовые понятия моделей надежности и безопасности......3683.11.4. Анализ рисков безопасности для ПТС......3733.11.5. Классификация моделей надежности ПО......3763.11.6. Оценка надежности систем реального времени......3803.11.7. Обеспечение надежности на этапах ЖЦ......3803.11.8. Инженерия надёжности ПО......3823.11.9. Применение моделей для оценки показателей надежности ПО......3843.11.10. Технологические модули (ТМ) оценки надежности систем......387Выводы......391Список литературы......3913.11.11. Обеспечения надежности компонентов web-сайтов и приложений......392Литература к главе 3......395Заключение......397Глава 4. Автоматизация сборки интеллектуальных и информационных ресурсов Интернет......398Введение......3984.1. Подходы к интеллектуализации систем и ресурсов......3994.1.1. Интеллектуализация знаний о ресурсах......4004.1.2. Интеллектуальные и информационные ресурсы для веб-систем......4014.2. Сервисные и информационные ресурсы Интернет......4034.3. Технология сборки сервисных ресурсов в Интернет......4064.4. Индустриальные фабрики сборки ресурсов......4124.5. CASE-инструменты автоматизации сборки программ......4134.6. Конфигурационная сборка ресурсов и компонентов в среде фабрики GDM......4144.7. Аспекты теории сборки и преобразования типов данных ресурсов......4164.7.1. Теоретические и практические аспекты — преобразования ТД FDT и GDT......4164.8. Базовые положения общего сборщика ресурсов в Интернет......4284.9. Конфигурирование сервисных ресурсов Web-систем......4294.10. Парадигма обеспечения качества веб-систем......431Заключение......436Литература к главе 4......436Глава 5. Перспективные парадигмы моделирования и программирования предметных областей знаний......4395.1. Клиент-серверная архитектура Интернет для ресурсов......4395.2. Парадигма моделирования бизнес-процессов BPMN......4415.3. Парадигма моделирования сервисных и компонентных моделей SOA
SCA......4465.4. Технология моделирования СПС по графу ОКМ......4575.5. Графовое моделирование распределенных КС......4645.6. Парадигма Cloud computing для организации вычислений задач предметных областей знаний......467ПОСЛЕСЛОВИЕ. Современная наука информатика
парадигмы моделирования и программирования......474Приложение 1. Список парадигм программирования......477Приложение 2. Алгоритм реализации веб-приложения из информационных ресурсов......479Приложение 3. Интерфейс сборки компонентов в DELPHI и PASCAL......483
Об авторе
Последние поступления в рубрике "Тематика определяется"
Математика. Подготовка к ЕГЭ. Задачи с параметрами.10-11 классы
В предлагаемом пособии представлен обширный материал, посвященный двум заключительным и сложным темам ЕГЭ профильного уровня: задачам с параметрами и числам и их свойствам. На многочисленных примерах с подробными решениями и обоснованиями (как и требуется на экзамене) показаны различные методы и решения задач.... | |
План счетов бухгалтерского учета с последними изменениями
Читателю предлагается самая последняя редакция Плана счетов бухгалтерского учета финансово-хозяйственной деятельности организаций и инструкции по его применению с учетом последних приказов Минфина РФ. План счетов - это важнейший инструмент бухгалтерского учета, настольная книга для каждого практического бухгалтера.... | |
На ферме. Книжка с наклейками
Игры с наклейками - занятие не только интересное, но и полезное. С этой книгой малыш познакомится с различными видами транспорта, потренируется решать простые логические задачки и находить соответствия.... |
Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Лаврищева Е., Петренко А.В., Петров И..Тугаринова, Атлантов В. и др.; Хор и Орк, Парадигмы моделирования и программирования задач предметных областей знаний в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.