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 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|