![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Коваль Г$<.>) |
Загальна кількість знайдених документів : 3
Представлено документи з 1 до 3
|
| | Тип видання: монографія | | |
1. |
Нові теоретичні засади технології виробництва сімейств програмних систем у контексті генерувального програмування [Електронний ресурс] : монографія / К. М. Лавріщева [та ін.] ; Національна академія наук України, Інститут програмних систем. - К. : [б. в.], 2011. - 277 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Монографія містить змістовний науковий виклад нових теоретичних засад технології розроблення сімейств програмних систем (СПС) у генерувальному програмуванні (ГП). Визначено нову методологію виготовлення СПС з готових програмних ресурсів (модулів, компонентів повторного використання – КПВ і програм) з використанням засобів ГП; теорію компонентного програмування; засоби моделювання членів СПС предметно-орієнтованими мовами DSL (Domain Specific Language), нові моделі (взаємодії, варіабельності і життєздатності) СПС; нові проектні рішення щодо технології тестування з оцінюванням різних показників якості, розміру і вартості продукту СПС. Наведені формальні засоби специфікації компонентів та КПВ, як головних будівельних об’єктів в СПС, що накопичуються у репозиторії ГП для їх застосування методом збирання з них СПС. Розроблено нові засоби й інструменти тестування й оцінювання якісних та інших показників створених СПС. Запропоновано загальну структуру інструментально-технологічного комплексу підтримки інтегрованої технології виробництва окремих компонентів ПС у середовищі VS.Net, CORBA, Java, до якої включено набір технологій розробки КПВ, обслуговування КПВ у репозиторії, моделювання мовою DSL, взаємодії з різними середовищами, збирання різномовних КПВ у СПС, тестування, оцінювання тощо. Деякі результати оригінальні, не мають прототипу. В монографії подано результати досліджень, проведених у відділі ―Програмна інженерія― за фундаментальними проектами ІІІ–1–07 ―Розробка теоретичного фундаменту генерувального програмування та інструментальних засобів його підтримки‖ (2007–2011) та попереднього проекту ―Розробка теоретичних основ та методологічних засад компонентного програмування‖ (2002–2006).
Кл.слова: програмна інженерія -- СПС
| | Тип видання: довідник | | |
2. |
Клиническая рентгеноанатомия [Електронний ресурс] / под ред. Г. Ю. Коваль. - К. : Здоров'я, 1974. - 373 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В руководстве представлены сведения об отличительных чертах некоторых индивидуальных рентгеноанатомических вариантов строения с учетом возрастных особенностей, что очень важно для дифференциации с патологическими состояниями. В книге нашли отражение вопросы рентгеноанатомии костно-суставного аппарата (череп, позвоночный столб, грудная клетка, верхняя и нижняя конечности), органов полости грудной клетки (дыхательный аппарат, сердце и крупные сосуды) и брюшной полости (пищевой канал, печень и желчные пути, поджелудочная железа), а также органов мочеполового аппарата. Руководство рассчитано на врачей-рентгенологов, хирургов, ортопедов-травматологов, терапевтов и фтизиатров.
Кл.слова: хвороба -- лікування
| | Тип видання: навчальний посібник | | |
3. |
Гайченко, Віталій Андрійович. Основи безпеки життєдіяльності людини [Електронний ресурс] : навчальний посібник / В. А. Гайченко, Г. М. Коваль, Є. П. Буравльов ; Міжрегіональна академія управління персоналом. - 3-е вид., перероб. і доп.. - К. : В-во МАУП, 2006. - 432 с.
Повний текст доступний у читальних залах НБУВ
У навчальному посібнику розкрито складну систему взаємозв'язку здоров'я людини і чинників навколишнього середовища. Висвітлено негативний вплив діяльності людини на навколишнє природне середовище, а також чинників виробничого середовища на працівника і таких, що істотно впливають на здоров'я людини в побутових умовах. Наведено основні характеристики надзвичайних ситуацій природного та техногенного походження, особливості виживання людини в екстремальних умовах. Для студентів вищих закладів освіти гуманітарного напряму.
Кл.слова: здоров'я людини -- навколишнє середовище
| | |
|
|