Information and Systems-Software Science(Date:2000/11/20)

Presentation
表紙

,  

[Date]2000/11/20
[Paper #]
目次

,  

[Date]2000/11/20
[Paper #]
Syntactic Editing of Tabular Forms by Attribute edNCE Graph Grammars

Kiyonobu Tomiyama,  Tomokazu Arita,  Kensei Tsuchida,  Takeo Yaku,  

[Date]2000/11/20
[Paper #]SS2000-23
Symbolic Model Checking Algorithm for a System consisting of Extended Finite State Machines with Integer Input Registers

Masayuki HIRATA,  Kozo OKANO,  Kenichi TANIGUCHI,  

[Date]2000/11/20
[Paper #]SS2000-24
Empirical evaluation of the dynamic complexity metrics for JAVA

Motoyasu Takehara,  Toshihiro Kamiya,  Shinji Kusumoto,  Katsuro Inoue,  Yukio Mohri,  

[Date]2000/11/20
[Paper #]SS2000-25
Separating Data from Instruction : a New Programming Paradigm

Yasushi kambayashi,  Henry F. Ledgard,  

[Date]2000/11/20
[Paper #]SS2000-26
[OTHERS]

,  

[Date]2000/11/20
[Paper #]