Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/04/01 Vol. E95-DNo. 4pp. 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. 3pp. 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/20 Vol. E80-DNo. 1pp. 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 Communications Publication Date: 1992/10/20 Vol. E75-BNo. 10pp. 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/20 Vol. E75-DNo. 1pp. 64-77 Type of Manuscript: Special Section PAPER (Special Section on Theoretical Foundations of Computing) Category: Keyword: concurrency,
operational semantics,
compositionality,
correctness,
full abstractness,
