 | 2008 |
|---|
| 6 |       | M. Ohba,
K. Egashira,
T. Ohta:
Automatic Elicitation of Network Service Specification.
ICSEA 2008: 25-30 |
| 2002 |
|---|
| 5 |  | K. Ishida,
T. Ohta:
An approach for organizing knowledge according to terminology and representing it visually.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 32(4): 366-373 (2002) |
| 1998 |
|---|
| 4 | | T. Ohta,
N. Matsumara,
Y. Itoh:
On Constructing a Tool to Verify Programs for Processors Built in Machines.
CSMR 1998: 52-59 |
| 1995 |
|---|
| 3 | | Takao Shimomura,
Y. Oki,
T. Chikaraishi,
T. Ohta:
An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FIND.
AADEBUG 1995: 191-203 |
| 2 | | Takao Shimomura,
Y. Oki,
T. Chikaraishi,
T. Ohta:
An independent software-modification method.
ICSM 1995: 214-221 |
| 1993 |
|---|
| 1 | | K. Takami,
T. Ohta,
Nobuyoshi Terashima:
A Visual Programming for Telecommunication Services.
VL 1993: 360-361 |
