Information and Systems-Software Science(Date:2002/09/13)

Presentation
表紙

,  

[Date]2002/9/13
[Paper #]
目次

,  

[Date]2002/9/13
[Paper #]
A Composite Specification Method for Concurrent Systems based on State Machine Model

Kaoru TAKAHASHI,  Ryoichi TADANO,  Yasushi KATO,  

[Date]2002/9/13
[Paper #]SS2002-15
Specification and Analysis of the Contract Net Protoco1

Goichi ITABASHI,  Yoshiaki HARAMOTO,  Yasushi KATO,  Kaoru TAKAHASHI,  Norio SHIRATORI,  

[Date]2002/9/13
[Paper #]SS2002-16
Software Component Analysis and Retrieval System Based on Reusability

Tetsuo YAMAMOTO,  Reishi YOKOMORI,  Makoto MATSUSHITA,  Shinji KUSUMOTO,  Katsuro INOUE,  

[Date]2002/9/13
[Paper #]SS2002-17
Specification of real-time software and verification of their schedulability using hybrid automata

Satoshi YAMANE,  

[Date]2002/9/13
[Paper #]SS2002-18
A Specification Language for Distributed Policy Control

Shigeta KUNINOBU,  Yoshiaki TAKATA,  Daigo TAGUCHI,  Masayuki NAKAE,  Hiroyuki SEKI,  

[Date]2002/9/13
[Paper #]SS2002-19
[OTHERS]

,  

[Date]2002/9/13
[Paper #]