Kaoru TAKAHASHI


Modeling, Verification and Testing of Web Applications Using Model Checker
Kei HOMMA Satoru IZUMI Kaoru TAKAHASHI Atsushi TOGASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D  No. 5  pp. 989-999
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Software Development Methodology
Keyword: 
Web applicationmodelingtestingautomatamodel checkingSpin
 Summary | Full Text:PDF(523.7KB)

State Machine Specification with Reusability
Goichi ITABASHI Kaoru TAKAHASHI Yasushi KATO Takuo SUGANUMA Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11  pp. 2885-2894
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems)
Category: Concurrent Systems
Keyword: 
state machineconstraintinheritancerefinement and expansion algorithm
 Summary | Full Text:PDF(366.7KB)

Composition of Service and Protocol Specifications in Asynchronous Communication System
Noppadol MANEERAT Ruttikorn VARAKULSIRIPUNTH Bhed Bahadur BISTA Kaoru TAKAHASHI Yasushi KATO Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/10/01
Vol. E87-D  No. 10  pp. 2306-2317
Type of Manuscript:  PAPER
Category: Networks
Keyword: 
LOTOSLTSweak bisimulationasynchronous model
 Summary | Full Text:PDF(702KB)

On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions
Bhed Bahadur BISTA Kaoru TAKAHASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/11/01
Vol. E85-A  No. 11  pp. 2426-2435
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Category: 
Keyword: 
serviceprotocolFDTalternative compositionparallel composition
 Summary | Full Text:PDF(806.7KB)

Specification and Analysis of the Contract Net Protocol Based on State Machine Model
Goichi ITABASHI Yoshiaki HARAMOTO Yasushi KATO Kaoru TAKAHASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/11/01
Vol. E85-A  No. 11  pp. 2447-2452
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Category: 
Keyword: 
multi-agent systemcontract net protocolformal specificationfinite state model
 Summary | Full Text:PDF(358.5KB)

A Compositional Approach for Constructing Communication Services and Protocols
Bhed Bahadur BISTA Kaoru TAKAHASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/11/25
Vol. E82-A  No. 11  pp. 2546-2557
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
protocolserviceFDTcompositionalternativesequentialinterruptparallel
 Summary | Full Text:PDF(605.6KB)

Specification and Validation of a Dynamically Reconfigurable System
Kaoru TAKAHASHI Toshihiko ANDO Toshihisa KANO Goichi ITABASHI Yasushi KATO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4  pp. 556-565
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
distributed concurrent systemsdynamically reconfigurable systems formal specificationformal validationcommunicating finite state machines simulatorvalidator
 Summary | Full Text:PDF(1003.7KB)

A Concurrent Calculus with Geographical Constraints
Toshihiko ANDO Kaoru TAKAHASHI Yasushi KATO Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4  pp. 547-555
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
mobile communicationπ-calculuslocationfieldlocation bisimulationlocation erased bisimulation
 Summary | Full Text:PDF(742KB)

Composition of Protocol Functions
Bhed Bahadur BISTA Kaoru TAKAHASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4  pp. 586-595
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
protocolmultiphasemultifunctiondisabling functionFDTLOTOS
 Summary | Full Text:PDF(914.6KB)

Making Changes in Formal Protcol Specifications
Bhed Bahadur BISTA Kaoru TAKAHASHI Tetsuo KINOSHITA Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1997/06/25
Vol. E80-B  No. 6  pp. 974-978
Type of Manuscript:  LETTER
Category: Communication Software
Keyword: 
communicationprotocolflexible synthesisrequirement change
 Summary | Full Text:PDF(400.9KB)

A Topological Framework of Stepwise Specification for Concurrent Systems
Toshihiko ANDO Kaoru TAKAHASHI Yasushi KATO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11  pp. 1760-1767
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
stepwise specificationconcurrent systemtopologyabstract level of description techniquetemporal logic
 Summary | Full Text:PDF(571.1KB)

A Flexible Verifier of Temporal Properties for LOTOS
Kaoru TAKAHASHI Yoshiaki TOKITA Takehisa TANAKA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/01/25
Vol. E79-D  No. 1  pp. 8-21
Type of Manuscript:  PAPER
Category: Sofware System
Keyword: 
specificationverificationprotocolLOTOSsoftware tool
 Summary | Full Text:PDF(1MB)

On Specifying Protocols Based on LOTOS and Temporal Logic
Toshihiko ANDO Yasushi KATO Kaoru TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1994/08/25
Vol. E77-B  No. 8  pp. 992-1006
Type of Manuscript:  PAPER
Category: Signaling System and Communication Protocol
Keyword: 
protocol specificationformal specification technique
 Summary | Full Text:PDF(1009.8KB)

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(659.5KB)

An Automatic Implementation Method of Protocol Specifications in LOTOS
Zixue CHENG Kaoru TAKAHASHI Norio SHIRATORI Shoichi NOGUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/07/25
Vol. E75-D  No. 4  pp. 543-556
Type of Manuscript:  PAPER
Category: Computer Networks
Keyword: 
FDT (Formal Description Technique)LOTOSprotocolsautomatic implementationspecification translation
 Summary | Full Text:PDF(1.1MB)