Atsushi TOGASHI

Modeling, Verification and Testing of Web Applications Using Model Checker
Kei HOMMA Satoru IZUMI Kaoru TAKAHASHI Atsushi TOGASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D  No. 5  pp. 989-999
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Software Development Methodology
Keyword: 
Web application, modeling, testing, automata, model checking, Spin, 
 Summary | Full Text:PDF(523.7KB)
A Support Method for Specification Process Based on LTSs
Ushio YAMAMOTO Atsushi TOGASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10  pp. 1656-1662
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
FDT, LTS, similarity, specification reuse, specification support, 
 Summary | Full Text:PDF(535.5KB)
Inductive Inference of Algebraic Processes Based on Hennessy-Milner Logic
Atsushi TOGASHI Shigetomo KIMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10  pp. 1594-1601
Type of Manuscript:  INVITED PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
inductive inference, algebraic process, CCS, Hennessy-Milner logic, bisimulation, process calculus, process algebra, 
 Summary | Full Text:PDF(643.6KB)
A New Approach for Protocol Synthesis Based on LOTOS
Bhed Bahadur BISTA Zixue CHENG Atsushi TOGASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10  pp. 1646-1655
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
protocol, protocol synthesis, deadlock, FDT, LOTOS, 
 Summary | Full Text:PDF(828.4KB)