Yoshihiro UEDA

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
requirements understandingspecification acquisitionhypothesis-based reasoningreachability analysisartificial intelligence and cognitive science
 Summary | Full Text:PDF

Toward a Service Creation and Execution Environment Using High-Level Nets for Advanced Telecommunication Systems
Haruo HASEGAWA Nahomi KIKUCHI Yoshihiro UEDA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/10/25
Vol. E74-A  No. 10  pp. 3152-3158
Type of Manuscript:  Special Section PAPER (Special Issue on Petri Nets and Discrete Event Systems)
 Summary | Full Text:PDF

A Study on Verification of Service Specification in Communication Software Development
Kenji SHIBATA Yoshihiro UEDA Satsuki YUYAMA Haruo HASEGAWA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1988/12/25
Vol. E71-E  No. 12  pp. 1203-1211
Type of Manuscript:  Special Section PAPER (Special Issue on CAS Karuizawa Workshop)
 Summary | Full Text:PDF