FORMAL SPECIFICATION, VALIDATION AND IMPLEMENTATION OF AN APPLICATION PROTOCOL WITH ESTELLE

被引：0
|
作者：
NGUYEN, CT
HUNEL, P
VIALATTE, MC
机构：
来源：
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS | 1992年 / 2卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present in this paper our experience in using Estelle for the development of an application protocol and the methodology we have applied for the development process. During this process we used various tools for specification, verification and implementation phases : EWS, Xesar, ISODE; a quality analysis has also been done with LOGISCOPE. We discuss and assess on the experience and propose some general features for an Integrated Project Support Environment.
引用
收藏
页码：361 / 376
页数：16
相关论文
共 50 条
12345