Akira TAKURA


Requirement Specification Acquisition of Communications Services
Akira TAKURA Yoshihiro UEDA Tsuneki HAIZUKA Tadashi OHTA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/12/25
Vol. E79-D  No. 12  pp. 1716-1725
Type of Manuscript:  PAPER
Category: Artificial Intelligence and Cognitive Science
Keyword: 
requirements understandingspecification acquisitionhypothesis-based reasoningreachability analysisartificial intelligence and cognitive science
 Summary | Full Text:PDF

Completing Protocols Synthesized from Service Specifications
Akira TAKURA Atsushi KANAI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1996/07/25
Vol. E79-B  No. 7  pp. 953-962
Type of Manuscript:  PAPER
Category: Communication Software
Keyword: 
protocol completionmessage sequence chartprotocol errorservice specification
 Summary | Full Text:PDF

Stepwise Refinement of Communications Service Specifications for Conforming to a Functional Model
Akira TAKURA Tadashi OHTA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1994/11/25
Vol. E77-B  No. 11  pp. 1322-1331
Type of Manuscript:  Special Section PAPER (Special Issue on Distributed Architecture for Next Generation Communication Networks)
Category: 
Keyword: 
stepwise refinementcommunications networks and servicesfunctional modelservice specificationprotocol synthesiscommunications software
 Summary | Full Text:PDF

Reachability Analysis for Specified Processes in a Behavior Description
Kenji SHIBATA Yutaka HIRAKAWA Akira TAKURA Tadashi OHTA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1993/11/25
Vol. E76-B  No. 11  pp. 1373-1380
Type of Manuscript:  PAPER
Category: Communication Theory
Keyword: 
reachability decisioncolored petri netstate transition systemcommunication software
 Summary | Full Text:PDF