Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації
| dc.contributor.advisor | Демченко, Олександр Михайлович | |
| dc.contributor.author | Сирота, Олена Петрівна | |
| dc.contributor.degreefaculty | Науково-дослідний інститут системних технологій | |
| dc.contributor.degreegrantor | Національний технічний університет України "Київський політехнічний інститут" | |
| dc.date.accessioned | 2010-04-27T08:24:12Z | |
| dc.date.available | 2010-04-27T08:24:12Z | |
| dc.date.created | 2009 | en |
| dc.date.issued | 2009 | |
| dc.identifier.citation | Сирота О. П. Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації : дис. ... канд. техн. наук. : 05.13.06 - інформаційні технології / О.П. Сирота. - К., 2009. - 222 л. + CD-ROM. | |
| dc.identifier.uri | https://ela.kpi.ua/handle/123456789/322 | |
| dc.language.iso | uk | en |
| dc.rights | Дисертація захищена авторським правом. Переглянути її можливо з цього джерела з будь-якою метою, але копіювання та розповсюдження в будь-якому форматі забороняється без письмового дозволу. | |
| dc.subject | проектування АСОІ | en |
| dc.subject | верифікація програмного забезпечення | en |
| dc.subject | декларативне подання бізнес-правил | en |
| dc.subject | UML | en |
| dc.subject | SBVR | en |
| dc.subject | мульти-формальне моделювання | en |
| dc.subject | логіка предикатів першого порядку | en |
| dc.subject | подання знань | en |
| dc.subject | проектирование АСОИ | |
| dc.subject | верификация программного обеспечения | |
| dc.subject | декларативное представление бизнес-правил | |
| dc.subject | UML | |
| dc.subject | SBVR | |
| dc.subject | мульти-формальное моделирование | |
| dc.subject | логика предикатов первого порядка | |
| dc.subject | представление знаний | |
| dc.subject | information system design | |
| dc.subject | software verification | |
| dc.subject | business-rules approach | |
| dc.subject | UML | |
| dc.subject | SBVR | |
| dc.subject | multi-paradigm modeling approach | |
| dc.subject | first-order logic | |
| dc.subject | knowledge representation | |
| dc.title | Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації | en |
| dc.type | Thesis doctoral | |
| thesis.degree.discipline | кафедра технічної кібернетики | |
| thesis.degree.level | дисертація кандидата технічних наук | |
| thesis.degree.name | кандидат технічних наук | |
| thesis.degree.speciality | 05.13.06 – інформаційні технології |