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

表紙 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