Поиск

Полнотекстовый поиск:
Где искать:
везде
только в названии
только в тексте
Выводить:
описание
слова в тексте
только заголовок

Рекомендуем ознакомиться

'Документ'
Конституція, як записано у правовій літературі, — це Основний Закон держави, який визначає її державний устрій, систему органів влади й управління, ї...полностью>>
'Документ'
Цена – денежное выражение стоимости товаров (оказание выполненных работ, услуг). Оптовые цены – цены, по которым реализуются крупная партия продукции...полностью>>
'Реферат'
В настоящее время для защиты сетей и электрических приемников от повреждений, вызываемых током, превышающим допустимую величину, все шире применяются...полностью>>
'Документ'
— сенатор и тайный советник, известный польский патриот, родился 14 апреля 1765 года в Вильне. Огинские ведут свой род от Рюрика и князей Черниговски...полностью>>

Международный семинар «Семантика, спецификация и верификация программ: теория и приложения» г. Казань, 14-15. 06

Главная > Семинар
Сохрани ссылку в одной из сетей:

Международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (г.Казань, 14-15.06.2010)

Список принятых докладов

  1. Anikeev M., Madlener F., Schlosser A., Huss S. A., Walther Ch. «A Viable Approach to Machine-Checked Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography»

  2. Konnov I.V. «Using adaptive symmetry reduction for LTL model checking»

  3. Letichevsky A.A., Letychevskyi O.A., Weigert T. «Predicate transformers for symbolic verification»,

  4. Батаев А.В., Давыдов А.А., Налютин Н.Ю., Синицын С.В. «Метод генерации тестовых данных на основе формальных спецификаций»

  5. Башкин В.А. «Об использовании однопериодических базисов для глобальной символьной верификации»

  6. Башкин В.А., Ломазова И.А. «Двухуровневое моделирование мультиагентных систем на основе обобщенных сетей активных ресурсов»

  7. Беляев А.Б. «Верификация алгоритма поддержки транзакционной памяти»

  8. Бурдонов И.Б., Косачев А.С. «Симуляция систем с отказами и разрушением»

  9. Бурдонов И.Б., Косачев А.С. «Тестирование безопасной симуляции»

  10. Валиев М.К., Дехтярь М.И. «Сложность верификации недетерминированных вероятностных мультиагентных систем»

  11. Гаранина Н.О. «Аффинное представление данных для символьной проверки моделей распределенных систем»

  12. Давыдов А.В., Ларионов А.А. «Об исчислении позитивно-образованных формул для автоматического доказательства теорем»

  13. Калентьев А.А., Тюгашев А. А., Шулындин А.В. «Формальная верификация требований к управляющим алгоритмам реального времени»

  14. Клебанов А. А., Степанов О. Г., Шалыто А. А. «Применение шаблонов требований к формальной спецификации и верификации автоматных программ»

  15. Клепнин А.В., Мелентьев А.А. «Интеграция семантических верификаторов в компиляторы языка Java»

  16. Котляров В.П., Дробинцев П.Д. «Формальный подход к проверке качества программных продуктов».

  17. Кузьмин Е. В., Соколов В. А., Чалый Д. Ю. «О языках автоматных счетчиковых машин»

  18. Мальшаков Г.В. «Верификация объединения подсистем автоматизации вуза»

  19. Непомнящий В.А., Ануреев И.С., Атучин М.М., Марьясов И.В., Петров А.А., Промский А.В. «Система анализа и верификации С-программ СПЕКТР-2»

  20. Подловченко Р. И. «Методология построения системы эквивалентных преобразований, полной в модели вычислений, и ее применение для алгебраических моделей программ»

  21. Федотов В.Н. «Сервисно-ориентированный подход к тестированию интеграции в распределенных системах»

  22. Шелехов В.И. «Верификация и синтез программ сложения на базе правил корректности операторов»

  23. Шилов Н.В. «Пример верификации в проекте F@BOOL@»

  24. Шошмина И.В., Карпов Ю.Г. «Технология проектирования и верификации распределенных бортовых систем»



Скачать документ

Похожие документы:

  1. Сводный научный отчет за 2010 г по совместному проекту «Разработка объектно-ориентированных программных моделей и баз данных для систем планирования и осуществления интеллектуальных динамических миссий подводных роботов»,

    Публичный отчет
    по совместному проекту «Разработка объектно-ориентированных программных моделей и баз данных для систем планирования и осуществления интеллектуальных динамических миссий подводных роботов»,
  2. Сводные данные (план) международных мероприятий в области образования, науки и инноваций издаются в виде брошюр с 1986г

    Документ
    Сводные данные (план) международных мероприятий в области образования, науки и инноваций издаются в виде брошюр с 1986г. и рассылаются по министерствам, ведомствам и организациям, федеральным и региональным центрам России и др.
  3. Программы и учебный план отделения теоретической и прикладной лингвистики Издательство Московского университета 2009

    Документ
    Отделение теоретической (структурной) и прикладной лингвистики существует на филологическом факультете МГУ с 1960 года. Впервые программы читаемых на этом отделении обязательных курсов были опубликованы в 1996 году1.
  4. А. Н. Баранов Введение в прикладную лингвистику ббк 81я73 Издание осуществлено при поддержке Института «Открытое общество» (Фонд Сороса) в рамках конкурс

    Конкурс
    Издание осуществлено при поддержке Института «Открытое общество» (Фонд Сороса) в рамках конкурса «Новая учебная литература по лингвистике и литературоведению».
  5. Обработка текста и когнитивные технологии

    Документ
    The paper collection comprises the second part of proceedings of the VIIth International Conference "Cognitive Modeling in Linguistics" (CML-2004, Varna, 2004), devoted to perspective branch of cognitive science.

Другие похожие документы..