IEICE SEARCH SYSTEM

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 (522.4KB)

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/20 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.6KB)

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/20 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/20 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.3KB)