Information and Systems-Software Science(Date:2006/12/07)

Presentation
表紙

,  

[Date]2006/12/7
[Paper #]
目次

,  

[Date]2006/12/7
[Paper #]
The modeling for collaborative systems by Timed STDs with Time Advancing Concept

Yuta TOYOHARA,  Ryo KAWABATA,  Kiyoshi ITOH,  

[Date]2006/12/7
[Paper #]SS2006-56
Automated Program Verification with HOPSYS

Akinori KAMADA,  Keiichirou KUSAKARI,  Naoki NISHIDA,  Masahiko SAKAI,  Toshiki SAKABE,  

[Date]2006/12/7
[Paper #]SS2006-57
Implementing an OCL to JML Translation Tool

Rodion MOISEEV,  Alessandra RUSSO,  

[Date]2006/12/7
[Paper #]SS2006-58
A Technique for Defining Model Metrics in Model Driven Development

Motoshi SAEKI,  Haruhiko KAIYA,  

[Date]2006/12/7
[Paper #]SS2006-59
Problems of PLUS Product Line Development Process and Their Solutions

Tsuneo NAKANISHI,  Susumu YAMAZAKI,  Mitsunori FUJITA,  Naohito YAMASHITA,  Shuichi ASHIHARA,  

[Date]2006/12/7
[Paper #]SS2006-60
Integration Framework and Examination of long/mid/short-term Software Process Improvement based on Risk Observation

Koichiro Ochimizu,  

[Date]2006/12/7
[Paper #]SS2006-61
Extension of Automatic Visualization Tool "Avis" for Large Scale Programs

Yoshihiro KITA,  Tetsuro KATAYAMA,  Shigeyuki TOMITA,  

[Date]2006/12/7
[Paper #]SS2006-62
Supporting Method to Understand Java Programs by Visualization of the Execution History with Sequence Diagram

Akito TAKESHITA,  Tetsuro KATAYAMA,  

[Date]2006/12/7
[Paper #]SS2006-63
A Virtual Bookshelf Disposing Scroop Images over Network

Takuya MIYAGAWA,  Kyohei YAMAGUCHI,  Yoichi OMORI,  Daisuke IKEDA,  Keijiro ARAKI,  

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

,  

[Date]2006/12/7
[Paper #]
Notice about photocopying

,  

[Date]2006/12/7
[Paper #]
奥付

,  

[Date]2006/12/7
[Paper #]