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 softwarecommon software platformsoftware reuseobject-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: 
verificationknowledge baseobject-orientedsimulationswitching 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: 
LOTOSspecificationverificationswitching software
 Summary | Full Text:PDF