Демченко, Олександр МихайловичСирота, Олена Петрівна2010-04-272010-04-2720092009Сирота О. П. Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації : дис. ... канд. техн. наук. : 05.13.06 - інформаційні технології / О.П. Сирота. - К., 2009. - 222 л. + CD-ROM.https://ela.kpi.ua/handle/123456789/322ukДисертація захищена авторським правом. Переглянути її можливо з цього джерела з будь-якою метою, але копіювання та розповсюдження в будь-якому форматі забороняється без письмового дозволу.проектування АСОІверифікація програмного забезпеченнядекларативне подання бізнес-правилUMLSBVRмульти-формальне моделюваннялогіка предикатів першого порядкуподання знаньпроектирование АСОИверификация программного обеспечениядекларативное представление бизнес-правилUMLSBVRмульти-формальное моделированиелогика предикатов первого порядкапредставление знанийinformation system designsoftware verificationbusiness-rules approachUMLSBVRmulti-paradigm modeling approachfirst-order logicknowledge representationThesis doctoral