Поиск публикаций Научные конференции и семинары Новости науки Научная сеть

 Найдено научных статей и публикаций: 21, для научной тематики: верификация


Связанные научные тематики:
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 



1.

Роль доверия в миграционных процессах и проблемы верификации сообществ (публикация автора на scipeople)     

Рехтина Л.С. - Российское социологическое сообщество: история, современность, место в мировой науке , 2016
Процесс массовой миграции населения связан с разрушением не только традиционных сообществ, но и реконструкцией урбанизированных...
2.

Метод верификации комплексных Web-сервисов (публикация автора на scipeople)     

Ткачева Елена Борисовна, Иссам Саад, Раед Яхя Абдулгхафур - Проблеми телекомунікацій , 2014
В статье предложены формализмы, определяющие правила композиции и согласования Web-сервисов, позволяющие объединить элементы...
3.

Применение эталонных событийных моделей для автономной верификации микропроцессоров (публикация автора на scipeople)     

Стотланд И.А., Лагутин А.А. - Вопросы радиоэлектроники , 2014
Рассмотрены основные способы построения тестовых систем и эталонных программных моделей для автономной верификации модулей...
4.

Методика комплексной функциональной верификации модулей системного обмена микропроцессорных вычислительных комплексов (публикация автора на scipeople)     

Стотланд И.А. , 2012
_
5.

Реализация математической модели верификации требований к управляющим алгоритмам реального времени в автоматизированной системе визуального проектирования (публикация автора на scipeople)   

А.А. Тюгашев, А.В. Шулындин - Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета) , 2013
Описывается инструментальный программный комплекс для модельного/дедуктивного/визуального контроля правильности управляющих...
6.

Пути повышения надежности и качества программного обеспечения в космической отрасли (публикация автора на scipeople)     

Тюгашев А. А., Ильин И. А., Ермаков И. Е. - Инс-т проблем управления им. В.А.Трапезникова РАН , 2012
Описывается текущая ситуация с созданием бортового программного обеспечения в аэрокосмической отрасли, описываются проблемы и...
7.

Визуальный подход к верификации управляющих программ реального времени (публикация автора на scipeople)   

Тюгашев А.А., Богатов, А.Ю., Шулындин А.В. - СГАУ , 2012
Описано применение визуального подхода к верификации управляющих программ
8.

Логический вывод в системе верификации требований к управляющим алгоритмам реального времени (публикация автора на scipeople)   

Тюгашев А.А., Шулындин А.В. - СГАУ , 2012
описано применение логического вывода для установления непротиворечивости (верификации) спецификаций управляющих бортовых программ...
9.

Направления совершенствования методов разработки и верификации программного обеспечения в аэрокосмической отрасли (публикация автора на scipeople)   

Тюгашев А.А. - Издательство МАИ , 2012
констатируются имеющиеся проблемы, предлагаются направления совершенствования процессов создания ПО в космической отрасли
10.

Алгебраические и логические подходы к спецификации, верификации и синтезу управляющих программ для ка (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Изд-во МАИ , 2006
представлены алгебраические и логические модели для управляющих программ в свете их спецификации, верификации и синтеза