Keyword : switching software

Increased Software Reusability in a Communication Switching Platform Based on Object-Oriented Design
Hiroshi SUNAGA Makoto FURUKAWA Kenji NISHIKAWARA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1997/09/25
Vol. E80-B  No. 9 ; pp. 1300-1310
Type of Manuscript:  PAPER
Category: Communication Software
Keyword: 
switching software, common software platform, software reuse, object-oriented design, 
 Summary | Full Text:PDF
Verification of Switching Software by Knowledge Processing Technology
Mitsuaki KAKEMIZU Yasuo IWAMI Yoshiharu SATO Shimmi HATTORI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 1008-1014
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
verification, knowledge base, object-oriented, simulation, switching software, 
 Summary | Full Text:PDF
Formal Specification and Verification of ISDN Services in LOTOS
Keiichirou YAMANO Dusan JOKANOVIC Tsuyoshi ANDO Masataka OHTA Kaoru TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/08/25
Vol. E75-B  No. 8 ; pp. 715-722
Type of Manuscript:  Special Section PAPER (Special Issue on the 4th Japan-Korea Joint Conference on Communications, Networks, Switching Systems and Satellite Communications (4th JC-CNSS))
Category: 
Keyword: 
LOTOS, specification, verification, switching software, 
 Summary | Full Text:PDF