Search the dblp DataBase

Publications of Author

1. Goichi Itabashi, Kaoru Takahashi, Yasushi Kato, Takuo Sugamma, Norio Shiratori
   Incremental Design of a State Machine Specification for Mobile and Real-Time Systems . [Citation Graph (0, 0)][DBLP]
   AINA, 2005, pp:99-104 [Conf]
   
2. Yoshihito Takahashi, Tomomi Abiko, Eriko Negishi, Goichi Itabashi, Yasushi Kato, Kaoru Takahashi, Norio Shiratori
   An Ontology-Based e-Learning System for Network Security. [Citation Graph (0, 0)][DBLP]
   AINA, 2005, pp:197-202 [Conf]
   
3. Bhed Bahadur Bista, Y. Ujiie, K. Furuya, Kaoru Takahashi, Norio Shiratori
   Support System for Constructing Communication Services and Protocols Based on Compositional Approach. [Citation Graph (0, 0)][DBLP]
   DEXA Workshop, 2000, pp:15-22 [Conf]
   
4. Toshihiko Ando, Kaoru Takahashi, Yasushi Kato
   On a Concurrency Calculus for Design of Mobile Telecommunication Systems. [Citation Graph (0, 0)][DBLP]
   FORTE, 1997, pp:535-546 [Conf]
   
5. Katsuyuki Sarashina, Tsuyoshi Ando, Kaoru Takahashi, Masataka Ohta, Yoshiaki Tokita
   An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation. [Citation Graph (0, 0)][DBLP]
   FORTE, 1993, pp:205-218 [Conf]
   
6. Norio Shiratori, Kaoru Takahashi, Shoichi Noguchi
   IDESS/85: Intelligent Support System for Protocols and Communication Software Development. [Citation Graph (0, 0)][DBLP]
   ICCC, 1986, pp:543-548 [Conf]
   
7. Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori
   Composition of Service and Protocol Specifications. [Citation Graph (0, 0)][DBLP]
   ICOIN, 2001, pp:171-0 [Conf]
   
8. Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori
   A flexible protocol synthesis method for adopting requirement changes. [Citation Graph (0, 0)][DBLP]
   ICPADS, 1996, pp:319-326 [Conf]
   
9. Kentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori
   Automatic modification of a protocol specification based on changes of a service specification. [Citation Graph (0, 0)][DBLP]
   ICPADS, 1996, pp:129-134 [Conf]
   
10. Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori
    Maintenance of Ambiences for Mobile Systems. [Citation Graph (0, 0)][DBLP]
    ICPP, 1999, pp:498-0 [Conf]
    
11. Satoru Izumi, Dai Kuriyama, Goichi Itabashi, Atsushi Togashi, Yasushi Kato, Kaoru Takahashi
    An ontology-based advice system for health and exercise. [Citation Graph (0, 0)][DBLP]
    IMSA, 2006, pp:95-100 [Conf]
    
12. Norio Shiratori, Hiroaki Kaminaga, Kaoru Takahashi, Shoichi Noguchi
    A Verification Method for LOTOS Specifications and its Application. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:59-70 [Conf]
    
13. Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori
    Maintenance of mobile system ambients using a process calculus. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2000, v:32, n:2, pp:229-256 [Journal]
    
14. Norio Shiratori, Kaoru Takahashi, Shoichi Noguchi
    A Software Design Method and Its Application to Protocol and Communication Software Development. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1988, v:15, n:, pp:245-267 [Journal]
    
15. Norio Shiratori, Kaoru Takahashi, Kenji Sugawara, Tetsuo Kinoshita
    Using Artificial Intelligence in Communication System Design. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1992, v:9, n:1, pp:38-46 [Journal]
    
16. Norio Shiratori, Yao-Xue Zhang, Kaoru Takahashi, Shoichi Noguchi
    A User Friendly Software Environment for Protocol Synthesis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:477-486 [Journal]
    
17. Yao-Xue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi
    An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:3, pp:394-404 [Journal]