Простий пошук
|
Розширений пошук
|
Алфавітні покажчики
|
Бази даних
Реферативна база даних - результати пошуку
Віртуальна довідкаТематичний інтернет-навігаторНаукова електронна бібліотекаАвтореферати дисертаційРеферативна база данихКнижкові видання та компакт-дискиЖурнали та продовжувані видання
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Формат представлення знайдених документів: | ||
| повний | стислий | |
Пошуковий запит: (<.>A=Letichevskii A$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| 1. | 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 Пошук видання у каталогах НБУВ | ||
Всі права захищені © Національна бібліотека України імені В. І. Вернадського