Technical report of IEICE. SS The Institute of Electronics, Information and Communication Engineers 99(71) (19990520)

 CiNii Books

表紙  Full Text: CiNii   
目次  Full Text: CiNii   
Dependence Logic: A Logic for Software Design Modification  Full Text: CiNii    1-8
Refinement by using Behavioral Semantics : The new approach which uses object composition and non-observable projection operators  Full Text: CiNii    9-16
Proposal of Slicing Algorithms Using Static and Dynamic Analysis Information  Full Text: CiNii    17-24
Education and Environment of Faculty of Software and Information Iwate Prefectural University  Full Text: CiNii    25-29
[OTHERS]  Full Text: CiNii