DocumentCode :
3454905
Title :
A communication software design using ITECS environment
Author :
Sarashina, Katsuyuki
Author_Institution :
Adv. Intelligent Commun. Syst. Lab., Sendai, Japan
fYear :
1995
fDate :
3-7 Jul 1995
Firstpage :
185
Lastpage :
189
Abstract :
In the design process of communication software, its specification needs to be rigorously defined without leaving any ambiguity. For this purpose, several FDTs (formal description techniques) have been proposed for the description of a rigorous specification. We developed a support environment for highly reliable computer aided software design based on FDTs. The paper proposes an integrated support environment, named ITECS, which has been developed based on LOTOS as the FDTs, to support a formal description of communication software specification and verification. ITECS comprises of two subsystems: one to support specification of the message sequence charts and graphical LOTOS specifications, and the other to support the verification of LOTOS specifications. This paper discusses the specification support of the ITECS environment
Keywords :
computer communications software; formal specification; formal verification; programming environments; specification languages; ITECS environment; communication software design; communication software specification; communication software verification; formal description techniques; graphical LOTOS specifications; integrated support environment; message sequence charts; specification support; Communication standards; Communication system software; Intelligent systems; Laboratories; Natural languages; Open systems; Process design; Programming; Software design; Software standards;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Networks, 1995. Theme: Electrotechnology 2000: Communications and Networks. [in conjunction with the] International Conference on Information Engineering., Proceedings of IEEE Singapore International
Print_ISBN :
0-7803-2579-6
Type :
conf
DOI :
10.1109/SICON.1995.526043
Filename :
526043
Link To Document :
بازگشت