|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
327854 |
| 005 |
20231102004012.0 |
| 010 |
|
|
|a 9785534076042
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\353541
|
| 090 |
|
|
|a 327854
|
| 100 |
|
|
|a 20170206d2019 m y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a a j 001zy
|
| 200 |
1 |
|
|a Программная инженерия и технологии программирования сложных систем
|e учебник для вузов
|f Е. М. Лаврищева
|g Российская академия наук (РАН), Институт системного программирования (ИСП) ; Московский физико-технический институт (Государственный университет) (МФТИ)
|
| 205 |
|
|
|a 2-е изд., испр. и доп.
|
| 210 |
|
|
|a Москва
|c Юрайт
|d 2019
|
| 215 |
|
|
|a 432 с.
|c ил.
|
| 225 |
1 |
|
|a Бакалавр. Академический курс
|
| 320 |
|
|
|a Список принятых сокращений: с. 9
|
| 320 |
|
|
|a Список терминов ТП и SE: с. 383-390
|
| 320 |
|
|
|a Библиогр.: с. 391-396
|
| 330 |
|
|
|a Описаны основные положения технологии программирования и инженерии программных продуктов и систем. Изложены отечественные и зарубежные методы разработки сложных программных систем из готовых компонентов повторного использования (КПИ). Рассмотрены подходы к инженерии программных продуктов из КПИ и их вариантов в SPLE (Software Product Line/Product Family), GDM (Generative Programming). Grid и др. Изложен метод сборки программных систем из КПИ с учетом модели характеристик (Feature Model), изменяющей структуру программных продуктов и систем. Описан объектно-компонентный метод моделирования вариантов программных систем и семейств программных систем из КПИ. Излагаются онтология представления доменов, методы извлечения знаний о готовых системах, спецификациях КПИ и доказательстве систем из них. Рассмотрены методы экспертизы, верификации, тестирования и оценки качества систем. Описаны дисциплины SE и методы создания веб-систем в среде Semantic Web и требования стандарта SEMAT к применению теории и методов SE в разработке систем.
|
| 606 |
1 |
|
|a Программирование
|2 stltpush
|3 (RuTPU)RU\TPU\subj\51780
|9 70345
|
| 610 |
1 |
|
|a программная инженерия
|
| 610 |
1 |
|
|a программные системы
|
| 610 |
1 |
|
|a программные продукты
|
| 610 |
1 |
|
|a проектирование
|
| 610 |
1 |
|
|a модели
|
| 610 |
1 |
|
|a методы
|
| 610 |
1 |
|
|a знания
|
| 610 |
1 |
|
|a представление
|
| 610 |
1 |
|
|a поиск
|
| 610 |
1 |
|
|a извлечение
|
| 610 |
1 |
|
|a формальная спецификация
|
| 610 |
1 |
|
|a верификация
|
| 610 |
1 |
|
|a правильность
|
| 610 |
1 |
|
|a доказательства
|
| 610 |
1 |
|
|a домены
|
| 610 |
1 |
|
|a неструктурные данные
|
| 610 |
1 |
|
|a экспертирование
|
| 610 |
1 |
|
|a качество
|
| 610 |
1 |
|
|a тестирование
|
| 610 |
1 |
|
|a оценка
|
| 610 |
1 |
|
|a веб-системы
|
| 610 |
1 |
|
|a Semantic Web
|
| 610 |
1 |
|
|a Software Engineering
|
| 610 |
1 |
|
|a учебники
|
| 675 |
|
|
|a 004.42(075.8)
|v 4
|
| 700 |
|
1 |
|a Лаврищева
|b Е. М.
|g Екатерина Михайловна
|
| 712 |
0 |
2 |
|a Российская академия наук (РАН)
|b Институт системного программирования (ИСП)
|c (Москва)
|c (1994- )
|2 stltpush
|3 (RuTPU)RU\TPU\col\7743
|
| 712 |
0 |
2 |
|a Московский физико-технический институт (Государственный университет) (МФТИ)
|2 stltpush
|3 (RuTPU)RU\TPU\col\222
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20170206
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20190701
|g RCR
|
| 942 |
|
|
|c BK
|
| 959 |
|
|
|a 4/20170125
|d 1
|e 999,00
|f ЧЗТЛ:1
|
