Technical report of IEICE. SS The Institute of Electronics, Information and Communication Engineers 104(466) (20041118)

 CiNii Books

表紙  Full Text: CiNii   
目次  Full Text: CiNii   
Specification and Verification of Digital Logic Based on Automaton Model  Full Text: CiNii    1-6
Study on a Testing Method for Java Programs with UML Diagrams  Full Text: CiNii    7-12
Verification method of scenarios with rules based on pre-conditions and post-conditions  Full Text: CiNii    13-18
A supporting method of generating Alternative and Exceptional scenarios  Full Text: CiNii    19-24
Integration technique of table type similar data on Web  Full Text: CiNii    25-29
Reconstruction method of an XBRL document corresponding to revision of taxonomy  Full Text: CiNii    31-36
Evaluating the Cost of Program Mental Simulation Based on the Number and Variance of Variable Updates  Full Text: CiNii    37-42
Simulating Fuison Transformation by Program-Generation Transformation  Full Text: CiNii    43-48
複写される方へ  Full Text: CiNii   
奥付  Full Text: CiNii