Tadashi OHTA


An Algorithm for Detecting 3-Way Feature Interactions
Shizuko KAWAUCHI Tadashi OHTA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2004/07/01
Vol. E87-B  No. 7  pp. 1910-1917
Type of Manuscript:  Special Section PAPER (Special Section on Next Generation Networks Software)
Category: Software Development Environment
Keyword: 
feature interactionspecification validation3-way interactionsdetection system
 Summary | Full Text:PDF

An Efficient Method for Testing Reachability Using Knowledge in Detecting Non-determinacy Feature Interactions
Junpei KOBAYASHI Tae YONEDA Tadashi OHTA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/04/01
Vol. E85-D  No. 4  pp. 607-614
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Specification
Keyword: 
feature interactionnon-determinacyservice specificationreachabilityknowledge
 Summary | Full Text:PDF

Active Networks Architecture for VoIP Gateway Using Declarative Language
Tomoya MORINAGA Go OGOSE Tadashi OHTA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2001/12/01
Vol. E84-B  No. 12  pp. 3189-3197
Type of Manuscript:  Special Section PAPER (Special Issue on Network Software)
Category: Mobile Service and Technologies
Keyword: 
Active NetworksVoIP gatewaydeclarative languageinterpreter
 Summary | Full Text:PDF

FOREWORD
Tadashi OHTA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2001/12/01
Vol. E84-B  No. 12  pp. 3085-3085
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF

Automatic Elicitation of Knowledge for Detecting Feature Interactions in Telecommunication Services
Tae YONEDA Tadashi OHTA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
Vol. E83-D  No. 4  pp. 640-647
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Theory and Methodology
Keyword: 
knowledge elicitationstate transitionspecification verificationfeature interaction
 Summary | Full Text:PDF

Formal Definitions of Feature Interactions in Telecommunications Software
Tadashi OHTA Flaviu CRISTIAN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4  pp. 635-638
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
telecommunication servicefeature interactions formal definition
 Summary | Full Text:PDF

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

High-Resolution Wafer Inspection Using the "in-lens SEM"
Fumio MIZUNO Satoru YAMADA Tadashi OHTAKA Nobuo TSUMAKI Toshifumi KOIKE 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 1996/03/25
Vol. E79-C  No. 3  pp. 317-323
Type of Manuscript:  Special Section PAPER (Special Issue on Scientific ULSI Manufacturing Technology)
Category: Particle/Defect Control and Analysis
Keyword: 
semiconductor deviceswafer inspectionscanning electron microscopeobjective lenseucentric stageacoustic motorspatial resolutionline-width measurementBEASTLI
 Summary | Full Text:PDF

A Requirement Description Approach in Natural Language Based on Communication Service Knowledge
Yoshizumi KOBAYASHI Tadashi OHTA Nobuyoshi TERASHIMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/09/25
Vol. E78-D  No. 9  pp. 1156-1163
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge Based Software Engineering)
Category: Applications
Keyword: 
requirement descriptionrequirement elicitationcommunication servicenatural languageknowledge base
 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

Precise Linewidth Measurement Using a Scanning Electron Probe
Fumio MIZUNO Satoru YAMADA Akihiro MIURA Kenji TAKAMOTO Tadashi OHTAKA 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 1993/04/25
Vol. E76-C  No. 4  pp. 600-606
Type of Manuscript:  Special Section PAPER (Special Issue on Sub-Half Micron Si Device and Process Technologies)
Category: Process Technology
Keyword: 
LSImetrology systemscanning electron probemeasurement accuracyreproducibilitylinearityrepeatability
 Summary | Full Text:PDF

An Access Control Mechanism for Object-Oriented Database Systems
Tadashi ARAKI Tetsuya CHIKARAISHI Thomas HARDJONO Tadashi OHTA Nobuyoshi TERASHIMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/01/25
Vol. E76-A  No. 1  pp. 112-121
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: 
Keyword: 
information securityobject-oriented database systemmultilevel access controlsecurity policytrusted computing base
 Summary | Full Text:PDF