Information and Systems-Software Science(Date:1999/05/20)

Presentation
表紙

,  

[Date]1999/5/20
[Paper #]
目次

,  

[Date]1999/5/20
[Paper #]
Dependence Logic: A Logic for Software Design Modification

Naoya Nitta,  Hiroyuki Seki,  

[Date]1999/5/20
[Paper #]SS99-1
Refinement by using Behavioral Semantics : The new approach which uses object composition and non-observable projection operators

Michihiro Matsumoto,  Kokichi Futatsugi,  

[Date]1999/5/20
[Paper #]SS99-2
Proposal of Slicing Algorithms Using Static and Dynamic Analysis Information

Yoshiyuki Ashida,  Fumiaki Ohata,  Katsuro Inoue,  

[Date]1999/5/20
[Paper #]SS99-3
Education and Environment of Faculty of Software and Information Iwate Prefectural University

Masatoshi Miyazaki,  

[Date]1999/5/20
[Paper #]SS99-4
[OTHERS]

,  

[Date]1999/5/20
[Paper #]