Верификация и подтверждение правильности (v&v) системы управления базой знаний с помощью формальных спецификаций
- 期刊名称Символ науки
- 作者БОБИНА ВЛАДА АНАТОЛЬЕВНА
- 期第5期
- 印刷ISSN2410-700X
- 文件大小1567.61KB
- 发表时间2015
- DOI10.0000/cyberleninka.ru/article/n/verifikatsiya-i-podtverzhdenie-pravilnosti-v-v-sistemy-upravleniya-bazoy-znaniy-s-pomoschyu-formalnyh-spetsifikatsiy
Здоровье семьи с позиций гендерного анализа в свете концепции восстановительного лечения лиц с наибоолее распространенными и социально значимыми заболеваниямиБобровский И. Н. · Альманах современной науки и образования · 2008
Взаимодействие муниципальной системы образования и института повышения квалификации как среда развития творческого потенциала (из опыта реализации проекта «Модельная территория научно-исследовательской работы в муниципальной системе образования Заиграевского района» республики Бурятия)Тимофеева Л. А. · Проблемы и перспективы развития образования в России · 2010
Глава 6. XVII век: альтернативные сценарии, смутные времена: Часть 1. Трансформация социального воображения в обществах Северной ЕвразииAb Imperio · 2014
ПРОБЛЕМЫ РЕАЛИЗАЦИИ ПРАВА НА МЕДИЦИНСКУЮ РЕАБИЛИТАЦИЮ ЛИЦ, ЗАСТРАХОВАННЫХ В СИСТЕМЕ ОБЯЗАТЕЛЬНОГО СОЦИАЛЬНОГО СТРАХОВАНИЯ ОТ НЕСЧАСТНЫХ СЛУЧАЕВ НА ПРОИЗВОДСТВЕ И ПРОФЕССИОНАЛЬНЫХ ЗАБОЛЕВАНИЙСОКОЛОВА Н.А. · Вестник Пермского университета. Юридические науки · 2011
Взаимосвязь автокорреляционной функции стационарных случайных процессов в базисе преобразования Фурье со спектральной плотностью мощности в базисе преобразования Меллина (аналог теоремы Винера-Хинчина)Макаров Анатолий Михайлович · Известия Южного федерального университета. Технические науки · 2014
ИСПОЛЬЗОВАНИЕ МЕТОДА СПЕКТРАЛЬНОГО АНАЛИЗА ВАРИАБЕЛЬНОСТИ РИТМА СЕРДЦА ДЛЯ ОЦЕНКИ ВЕГЕТАТИВНОГО ГОМЕОСТАЗА У ЛИЦ С ВЕРТЕБРАЛЬНО-БАЗИЛЯРНОЙ НЕДОСТАТОЧНОСТЬЮ МОЗГОВОГО КРОВООБРАЩЕНИЯ В УСЛОВИЯХ СЕВЕРАДОРШАКОВА О.В., СУББОТИНА Н.С., БЕЛОУСОВА Г.П. · Успехи современного естествознания · 2011
Экспертное заключение по проектам федеральных законов № 385392-5 «Об обязательном медицинском страховании в Российской Федерации» и № 385394-5 «о внесении изменений в отдельные законодательные акты Российской Федерации в связи с принятием федерального закона «Об обязательном медицинском страховании в Российской Федерации»Менеджер здравоохранения · 2010
Концентрическая организация материала в процессе формирования словообразовательной субкомпетенции студентов, обучающихся на факультетах русской филологии в вузах АрменииСАРКИСЯН Р.Р. · Инновационная наука · 2015
Polyether Antibiotic Complex Produced by Streptomyces hygroscopicus IM—110–81Darakchieva, M.; Ratchev, Rosen; Sachanekova, Margarita; Tzvetkova, Rousa; Gameyska, Yor danka; Popov, Kiril; Roussev, Pancho; Schlegel, R.; Kleinwachter, W.; Thrum, H.; Даракчиева, М.; Рачев, Р.; Саханекова, М.; Цветкова, Р.; Гамейска, Й.; Попов, К.; Русев, П.; Шлегел, Р.; Клайнвехтер, В.; Трум, Х.; Даракчиева, М.; Рачев, Р.; Саханекова, М.; Цветкова, Р.; Гамейска, Й.; Попов, К.; Русев, П.; Шлегел, Р.; Клайнвехтер, В.; Трум, Х. · Biotechnology & Bioindustry · 1987
SCAFFOLDING AS A STRATEGY TO BE AN EFFECTIVE MANAGER AND LEADER IN TEACHING AND LEARNINGЕНСЕГЕНОВА ГУЛЬМИРА ЖУМАБЕКОВНА, КЕНЖЕБУЛАТОВА АЙНАШ САМАРХАНОВНА, АШЕТОВА ДИНАРА ГАЛЫМОВНА · Science Time · 2014
Система mgсl2-mgo-wo3Гаматаева Барият Юнусовна,Даудова Амант Леонидовна,Маглаев Джамулай Зайндиевич,Гасаналиев Абдулла Магомедович · Известия Дагестанского государственного педагогического университета. Естественные и точные науки · 2010
Antibiotic susceptibility of pathogens in urinary tract infections in communityГлинская Елена Владимировна,Аль-Баяти Басим Мохаммад,Нечаева Ольга Викторовна,Лунева Ирина Олеговна · Известия Саратовского университета. Новая серия. Серия Химия. Биология. Экология · 2015
PHYSIOLOGICAL ASPECTS OF THE HEALTH OF SCHOOLCHILDREN IN NIZHNY NOVGOROD REGIONКАЛЮЖНЫЙ ЕВГЕНИЙ АЛЕКСАНДРОВИЧ, МИХАЙЛОВА СВЕТЛАНА ВЛАДИМИРОВНА, МАРУШКИНА НАДЕЖДА СЕРГЕЕВНА · Science Time · 2014
Physiological aspects of the health of schoolchildren in Nizhny Novgorod regionКалюжный Евгений Александрович,Михайлова Светлана Владимировна,Марушкина Надежда Сергеевна · Science Time · 2014
Генное досье микробиомаПЕРШИНА ЕЛИЗАВЕТА ВЛАДИМИРОВНА,АНДРОНОВ ЕВГЕНИЙ ЕВГЕНЬЕВИЧ,САМОСОРОВ ГЕОРГИЙ ГЕРМАНОВИЧ,СЕМЕНОВ АНДРЕЙ НИКОЛАЕВИЧ · Наука из первых рук · 2013
Строение комплекса [ZnSO 4 · 2(Ch 2) 6n 4]Маматураимова Назгул Aбдумиталиповна,Туленбаева Мавлюда Абдыганиевна,Алтыбаева Дилбара Тойчуевна,Камалов Жылдызбек Камалович · Естественные и математические науки в современном мире · 2014
SUMMARIESВестник Южно-Уральского государственного университета. Серия: Математическое моделирование и программирование · 2008
Inquiry based learningIrena Šteblaj · Вестник Пермского государственного гуманитарно-педагогического университета. Серия № 1. Психологические и педагогические науки · 2014
Latest investigations on underplatform damper inner mechanicsGOLA M.M.,GASTALDI C. · Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета) · 2014
Conceptual issues of ensuring information and Economics securityMashchenko D. S. · Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета) · 2004
Support for inquiry in the classroomTims Heleen · Вестник Пермского государственного гуманитарно-педагогического университета. Серия № 1. Психологические и педагогические науки · 2014
PAPER ABSTRACTSВестник Томского государственного университета. Управление, вычислительная техника и информатика · 2008
PAPER ABSTRACTSВестник Томского государственного университета. Управление, вычислительная техника и информатика · 2008
VERB ADJACENT FOCUS IN HITTITESIDELTSEV ANDREI VLADIMIROVICH · Вестник Московского государственного гуманитарного университета им. М.А. Шолохова. Филологические науки · 2014