DSpace JSPUI
DSpace зберігає і дозволяє легкий і відкритий доступ до всіх видів цифрового контенту, включаючи текст, зображення, анімовані зображення, MPEG і набори даних
Дізнатися більше
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://ir.stu.cn.ua/123456789/7297| Назва: | Інструментальні засоби верифікації моделей програмного забезпечення |
| Автори: | Литвинов, В. В. Богдан, І. В. Слівко, К. С. |
| Дата публікації: | 2013 |
| Видавництво: | Чернігів: ЧНТУ |
| Серія/номер: | Технічні науки; №2 (65) |
| Короткий огляд (реферат): | Обґрунтовано необхідність перевірки правильності діаграм на етапі проектування програмного забезпечення. Розглянуто найбільш відомі засоби, що дозволяють проводити верифікацію UML-діаграм. Проведене порівняльне оцінювання існуючих засобів. Основними критеріями оцінювання є відкритість коду, точність перевірки, кількість задіяних методів верифікації. |
| Опис: | Литвинов, В. В. Інструментальні засоби верифікації моделей програмного забезпечення / В. В. Литвинов, І. В. Богдан, К. С. Слівко // Вісник Чернігівського державного технологічного університету. Серія: Технічні науки. - 2013. – №2 (65). – C. 120-125. |
| URI (Уніфікований ідентифікатор ресурсу): | http://ir.stu.cn.ua/123456789/7297 |
| Розташовується у зібраннях: | Богдан І. В.: наукові статті Богдан І. В.: наукові статті №2(65) |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| 915.pdf | стаття | 189,34 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.