Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/04/01 Vol. E95-DNo. 4 ;
pp. 989-1002 Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering) Category: Keyword: workflow, verification, correctness, passback, incremental verification,
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2004/03/01 Vol. E87-BNo. 3 ;
pp. 413-420 Type of Manuscript: Special Section PAPER (Special Section on Internet Technology IV) Category: Implementation and Operation Keyword: traffic summarization, network map, DCAA, correctness, adaptability,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1997/01/25 Vol. E80-DNo. 1 ;
pp. 51-56 Type of Manuscript: Special Section PAPER (Special Issue on Fault-Tolerant Computing) Category: Verification Keyword: safety, correctness, object-oriented design, design review,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1996/06/25 Vol. E79-ANo. 6 ;
pp. 883-891 Type of Manuscript: PAPER Category: VLSI Design Technology and CAD Keyword: formal verification, pipeline, processor, correctness, mathematical induction,
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/10/25 Vol. E75-BNo. 10 ;
pp. 1015-1023 Type of Manuscript: Special Section PAPER (Special Issue on Communication Software Technologies) Category: Keyword: LOTOS, service definition, protocol specification, simulator, correctness,
Fully Abstract Models for Communicating Processes with respect to Weak Linear Semantics with Divergence Eiichi HORITA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1992/01/25 Vol. E75-DNo. 1 ;
pp. 64-77 Type of Manuscript: Special Section PAPER (Special Section on Theoretical Foundations of Computing) Category: Keyword: concurrency, operational semantics, compositionality, correctness, full abstractness,