Information and Systems-Software Science(Date:1998/12/03)

Presentation
表紙

,  

[Date]1998/12/3
[Paper #]
目次

,  

[Date]1998/12/3
[Paper #]
Specification of a Concurrent System based on Finite State Model Considering Mobility

Goichi ITABASHI,  Kaoru TAKAHASHI,  Yasushi KATO,  

[Date]1998/12/3
[Paper #]SS98-30
Specifying Runtime Environments for RMI Components using Z

Haruhiko Kaiya,  Koichiro Ochimizu,  

[Date]1998/12/3
[Paper #]SS98-31
Statistical Analysis of Amount of Source Code Changes by Rapid Prototyping : Application of Software Metrics based on Characteristics of Classes

Satoru Uehara,  Osamu Mizuno,  Yumi Itou,  Tohru Kikuno,  

[Date]1998/12/3
[Paper #]SS98-32
Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval Variable Domain

Kiyoshi Akama,  Yoshinori Shigeta,  Eiichi Miyamoto,  

[Date]1998/12/3
[Paper #]SS98-33
Software Development Based on Soft Systems Methodology

Yoshikazu Ueda,  

[Date]1998/12/3
[Paper #]SS98-34
[OTHERS]

,  

[Date]1998/12/3
[Paper #]