SYSTEMS SPECIFICATION BY BASIC PROTOCOLS

被引：6
|
作者：
Letichevsky, A. Ad. [1 ]
Kapitonova, Yu. V. [1 ]
Volkov, V. A. [1 ]
Letichevsky, A. A. [2 ]
Baranov, S. N. [3 ]
Kotlyarov, V. P. [3 ]
Weigert, T. [4 ]
机构：
[1] Natl Acad Sci Ukraine, Cybernet Inst, Kiev, Ukraine
[2] Informat Program Syst Co Ltd, Kiev, Ukraine
[3] Closed Corp Motorola, St Petersburg, Russia
[4] Closed Corp Motorola, Chicago, IL USA
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 2005年 / 41卷 / 04期
关键词：
formal methods; requirements verification; agents and environments;
D O I：
10.1007/s10559-005-0083-y
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Theoretical foundations of requirements formalization and verification based on basic protocols are presented. This approach uses the concept of an attributed transition system. Facets of an implementation of the system VRS are described together with some statistical results of using this tool in large-scale industrial projects.
引用
收藏
页码：479 / 493
页数：15
相关论文
共 50 条
12345