Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації
DSpace at NTB NTUU KPI
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації
|
|
| Creator |
Сирота, Олена Петрівна
|
|
| Subject |
проектування АСОІ
верифікація програмного забезпечення декларативне подання бізнес-правил UML SBVR мульти-формальне моделювання логіка предикатів першого порядку подання знань проектирование АСОИ верификация программного обеспечения декларативное представление бизнес-правил UML SBVR мульти-формальное моделирование логика предикатов первого порядка представление знаний information system design software verification business-rules approach UML SBVR multi-paradigm modeling approach first-order logic knowledge representation |
|
| Contributor |
Демченко, Олександр Михайлович
|
|
| Date |
2010-04-27T08:24:12Z
2010-04-27T08:24:12Z 2009 2009 |
|
| Type |
Thesis doctoral
|
|
| Identifier |
Сирота О. П. Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації : дис. ... канд. техн. наук. : 05.13.06 - інформаційні технології / О.П. Сирота. - К., 2009. - 222 л. + CD-ROM.
http://ela.kpi.ua/handle/123456789/322 |
|
| Language |
uk
|
|
| Rights |
Дисертація захищена авторським правом. Переглянути її можливо з цього джерела з будь-якою метою, але копіювання та розповсюдження в будь-якому форматі забороняється без письмового дозволу.
|
|