![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Kapitonova Yu$<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
| | | | |
1. |
Kapitonova Yu. Algorithm ochevidnosti'2000 (project) / Yu. Kapitonova, A. Letichevsky, M. Morokhovets, A. Lyaletski // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 68-70. - Библиогр.: 15 назв. - англ.Описывается проект "Алгоритм Очевидности'2000" как новый уровень понимания программы "Алгоритм Очевидности", инициированной В. Глушковым в начале 60-х годов. Этот проект ориентирован на подключение к международной математической деятельности по эффективному решению следующих задач: распределенное автоматизированное доказательство теорем, проверка корректности математических текстов, удаленное обучение математическим дисциплинам, извлечение знаний из математических работ, построение баз знаний для математических теорий. Ключ. слова: Індекс рубрикатора НБУВ: В1 + З973-018
Рубрики:
|
| | | | |
2. |
Letichevskii A. A. Semantics of timed message sequence charts = Розширена версія мови MSC / A. A. Letichevskii, Yu. V. Kapitonova, V. P. Kotlyarov, A. A. Letichevskii Jr., V. A. Volkov // Кибернетика и систем. анализ. - 2002. - № 4. - С. 3-14. - Библиогр.: 10 назв. - англ.Наведено розширену версію мови MSC з часовими специфікаціями для описуваних подій, що використовується для верифікації вимог в інтерактивних системах. Зазначено, що введення формальних семантик є новим підходом, що базується на теорії взаємодіючих агентів і середовищ. Розроблено алгоритм перевірки часової несумісності, що базується на цих семантиках. Ключ. слова: semantics of languages, MSC language, verification of requirements, theory of interaction of agents and environments, time consistency Індекс рубрикатора НБУВ: З973-018.2
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
|