Information and Systems-Software Science(Date:2006/04/13)

Presentation
表紙

,  

[Date]2006/4/13
[Paper #]
目次

,  

[Date]2006/4/13
[Paper #]
Detecting Data Races on Signals

Takamitsu TAHARA,  Katsuhiko GONDOW,  

[Date]2006/4/13
[Paper #]SS2006-1
Bootstrapping of OSL translator in MAGE

Takahiro YOSHIOKA,  Takeshi HAGIWARA,  

[Date]2006/4/13
[Paper #]SS2006-2
On the selection of conceptual elements of the software semantic model

Tsuneo AJISAKA,  

[Date]2006/4/13
[Paper #]SS2006-3
A Study of an Interoperability Test Activity of Heterogeneous Routing Equipments : For smooth deployment of a new network architecture

Yutaka KIKUCHI,  Takeshi ISHIHARA,  Ken'ichi NAGAMI,  Tomohiko KUSUDA,  Hiroo HISHIOKA,  Kazuma NISHIUCHI,  Tomokazu HADA,  Masaaki MIZUMURA,  Hajime MASAOKA,  Hiroshi IKEDA,  Ikuo NAKAGAWA,  Hiroshi ESAKI,  

[Date]2006/4/13
[Paper #]SS2006-4
Formal method of real-time statechart

Manabu TOKUDA,  Satoshi YAMANE,  

[Date]2006/4/13
[Paper #]SS2006-5
Proving Termination of Higher-Order Rewrite Systems based on Strongly Computable Dependency Pair Method

Yasuo ISOGAI,  Keiichirou KUSAKARI,  Masahiko SAKAI,  Toshiki SAKABE,  Naoki NISHIDA,  

[Date]2006/4/13
[Paper #]SS2006-6
Scenario Generation Method using Differential Scenario

Masayuki Makino,  Atsushi Ohnishi,  

[Date]2006/4/13
[Paper #]SS2006-7
複写される方へ

,  

[Date]2006/4/13
[Paper #]
奥付

,  

[Date]2006/4/13
[Paper #]