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

Presentation
表紙

,  

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

,  

[Date]1999/5/21
[Paper #]
Representation and Computation of Sets of Elements that Satisfy Given Conditions

Takeshi Tsuji,  Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1999/5/21
[Paper #]SS99-5
Formalization of Structures formed by Variables and Substitutions

Kiyoshi Akama,  Yoshinori Shigeta,  Eiichi Miyamoto,  

[Date]1999/5/21
[Paper #]SS99-6
Structuring Components' Specifications using Dependencies among the Runtime Environments

Haruhiko Kaiya,  Koichiro Ochimizu,  

[Date]1999/5/21
[Paper #]SS99-7
Train information system based on the database

Tetsuo Fujita,  Makoto Arisawa,  

[Date]1999/5/21
[Paper #]SS99-8
On the Algebraic Specification for GAEA's Unification

Hiroshi Ishikawa,  

[Date]1999/5/21
[Paper #]SS99-9
[OTHERS]

,  

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