Information and Systems-Software Science(Date:1998/03/24)

Presentation
表紙

,  

[Date]1998/3/24
[Paper #]
目次

,  

[Date]1998/3/24
[Paper #]
Object code optimization for exception detections independent of languages and machines

Nobuharu Mizunuma,  Mitsugu Suzuki,  Tan Watanabe,  

[Date]1998/3/24
[Paper #]
A Formal Difinition of Communicating Timed Attribute Grammars

Tomohiro Matsuzaki,  Takehiro Tokuda,  

[Date]1998/3/24
[Paper #]
Detection method of Un-realizability Origins in Reactive System Specification

Masanobu NAKAMURA,  Masahiko TOMOISHI,  Naoki YONEZAKI,  

[Date]1998/3/24
[Paper #]
Unreachability Proofs for β Rewriting Systems by Homomorphisms

Kiyoshi Akama,  Yoshinori Shigeta,  Eiichi Miyamoto,  

[Date]1998/3/24
[Paper #]
Foundation of Equivalent Transformation for Negative Constraints in String Domains

Kiyoshi Akama,  Koichi Okada,  Eiichi Miyamoto,  

[Date]1998/3/24
[Paper #]
Basic Transformation for Declarative Programs on Multiset Domains

Yuuichi Kawaguchi,  Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1998/3/24
[Paper #]
A Study on Modeling Software Behavior

Takahiro Hidaka,  Shinichiro Yamamoto,  Kiyoshi Agusa,  

[Date]1998/3/24
[Paper #]
Modularity of Termination in Extended Hierarchical Combination of Term Rewriting Systems

Kenji Ohno,  Nobuo Kawaguchi,  Masahiko Sakai,  Toshiki Sakabe,  Yasuyoshi Inagaki,  

[Date]1998/3/24
[Paper #]
Proving Termination of Higher Order Rewriting Systems based on Dependency Pairs

Yoshitsugu Watanabe,  Nobuo Kawaguchi,  Masahiko Sakai,  Toshiki Sakabe,  Yasuyoshi Inagaki,  

[Date]1998/3/24
[Paper #]
User-Interface of Software Development Management System with MonoProcess Object-Centered Software Process Modeling

Makoto Oshita,  Hiroyuki Nagayama,  Tetsuo Yamamoto,  Makoto Matsushita,  Shinji Kusumoto,  Katsuro Inoue,  

[Date]1998/3/24
[Paper #]
An Experimental Evaluation of Program Slicing on Software Maintenance Process

Akira Nishimatsu,  Shinji Kusumoto,  Katsurou Inoue,  

[Date]1998/3/24
[Paper #]
Function Point Measurement Tool for Requirements Specification

Takashi KASIMOTO,  Naoya ISHIDA,  Toshihiro KAMIYA,  Shinji KUSUMOTO,  Katsurou INOUE,  Ayane SUZUKI,  Masaya SHOZUI,  Katsuhiko YUURA,  Michio TSUDA,  

[Date]1998/3/24
[Paper #]
[OTHERS]

,  

[Date]1998/3/24
[Paper #]