Travelled to:1 × Canada
2 × USA
Collaborated with:H.Seki Y.Ishihara K.Torii Y.Morisawa Y.Sugiyama M.Higuchi O.Shirakawa M.Fujii
Talks about:program (2) specif (2) translat (1) telegram (1) procedur (1) function (1) contextu (1) communic (1) problem (1) languag (1)
Person: Tadao Kasami
DBLP: Kasami:Tadao
Contributed to:
1993
1992
1984Wrote 3 papers:
- RE-1993-IshiharaSK #dependence #natural language #specification #using
- A translation method from natural language specifications into formal specifications using contextual dependencies (YI, HS, TK), pp. 232–239.
- CAV-1992-HiguchiSSFK #communication #finite #invariant #state machine #verification
- A Verification Procedure via Invariant for Extended Communicating Finite-State Machines (MH, OS, HS, MF, TK), pp. 384–395.
- ICSE-1984-ToriiMSK #analysis #functional #logic #problem #programming
- Functional Programming and Logical Programming for the Telegram Analysis Problem (KT, YM, YS, TK), pp. 463–472.