IEICE Trans

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 application, modeling, testing, automata, model checking, Spin,
	Summary \| Full Text:PDF

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 machine, constraint, inheritance, refinement and expansion algorithm,
	Summary \| Full Text:PDF

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: LOTOS, LTS, weak bisimulation, asynchronous model,
	Summary \| Full Text:PDF

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: service, protocol, FDT, alternative composition, parallel composition,
	Summary \| Full Text:PDF

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 system, contract net protocol, formal specification, finite state model,
	Summary \| Full Text:PDF

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: protocol, service, FDT, composition, alternative, sequential, interrupt, parallel,
	Summary \| Full Text:PDF

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 systems, dynamically reconfigurable systems, formal specification, formal validation, communicating finite state machines, simulator, validator,
	Summary \| Full Text:PDF

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, π-calculus, location, field, location bisimulation, location erased bisimulation,
	Summary \| Full Text:PDF

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: protocol, multiphase, multifunction, disabling function, FDT, LOTOS,
	Summary \| Full Text:PDF

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: communication, protocol, flexible synthesis, requirement change,
	Summary \| Full Text:PDF

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 specification, concurrent system, topology, abstract level of description technique, temporal logic,
	Summary \| Full Text:PDF

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: specification, verification, protocol, LOTOS, software tool,
	Summary \| Full Text:PDF

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 specification, formal specification technique,
	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

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), LOTOS, protocols, automatic implementation, specification translation,
	Summary \| Full Text:PDF