Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації
Ескіз недоступний
Дата
2009
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
Опис
Ключові слова
проектування АСОІ, верифікація програмного забезпечення, декларативне подання бізнес-правил, UML, SBVR, мульти-формальне моделювання, логіка предикатів першого порядку, подання знань, проектирование АСОИ, верификация программного обеспечения, декларативное представление бизнес-правил, UML, SBVR, мульти-формальное моделирование, логика предикатов первого порядка, представление знаний, information system design, software verification, business-rules approach, UML, SBVR, multi-paradigm modeling approach, first-order logic, knowledge representation
Бібліографічний опис
Сирота О. П. Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації : дис. ... канд. техн. наук. : 05.13.06 - інформаційні технології / О.П. Сирота. - К., 2009. - 222 л. + CD-ROM.