Information and Systems-Software Science(Date:1999/11/12)

Presentation
表紙

,  

[Date]1999/11/12
[Paper #]
目次

,  

[Date]1999/11/12
[Paper #]
A Consideration of the Component Architecture as an Open Chaos System

Mikio Ohki,  

[Date]1999/11/12
[Paper #]SS99-42
Analyzing Changes in Design Information for Supporting Software Evolution using Repository Framework

Atsushi SAWADA,  Naruki MITSUDA,  Tsuneo AJISAKA,  

[Date]1999/11/12
[Paper #]SS99-43
A proposal of script language for the internet service applications

Shinichi TAKATA,  Masataka SUZUKI,  Shuichiro YAMAMOTO,  

[Date]1999/11/12
[Paper #]SS99-44
An User Interface Design Method Focusing Operation Information

Naruki Mitsuda,  Atsushi Sawada,  Tsuneo Ajisaka,  

[Date]1999/11/12
[Paper #]SS99-45
Generating Equivalent Transformation Rules from Specifications of Problems

Hidekatsu Koike,  Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1999/11/12
[Paper #]SS99-46
Homomorphisms Theorem and Unreachability for ω Rewriting Systems

Kiyoshi Akama,  Yoshinori Shigeta,  Eiichi Miyamoto,  

[Date]1999/11/12
[Paper #]SS99-47
A Study of Guidelines of Describing Specification Considering Verification

Shigenori Ioroi,  Kazuhiro Ogata,  Kokichi Futatsugi,  

[Date]1999/11/12
[Paper #]SS99-48
On Symbolic Model Checking Self-Stabilizing Algorithms

Tatsuhiro Tsuchiya,  Shin'ichi Nagano,  Rohayu Bt Paidi,  Tohru Kikuno,  

[Date]1999/11/12
[Paper #]SS99-49
[OTHERS]

,  

[Date]1999/11/12
[Paper #]