Print edition: ISSN 0913-5685
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2006-56
The modeling for collaborative systems by Timed STDs with Time Advancing Concept
Yuta Toyohara, Ryo Kawabata, Kiyoshi Itoh (Sophia University)
pp. 1 - 5
SS2006-57
Automated Theorem Prover HOPSYS on Simply-Typed Rewriting Systems
Akinori Kamada, Keiichirou Kusakari, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ)
pp. 7 - 12
SS2006-58
Implementing an OCL to JML Translation Tool
Rodion Moiseev (Tokyo Inst. of Tech.), Alessandra Russo (Imperial College London)
pp. 13 - 17
SS2006-59
A Technique for Defining Model Metrics in Model Driven Development
Motoshi Saeki (Tokyo Inst. of Tech.), Haruhiko Kaiya (Shinshu Univ.)
pp. 19 - 24
SS2006-60
Improving Product Line Development Methodology PLUS
Tsuneo Nakanishi (Kyushu Univ.), Susumu Yamazaki, Mitsunori Fujita, Naohito Yamashita (FLEETS), Shuichi Ashihara (NAL)
pp. 25 - 30
SS2006-61
Integration Framework and Examination of long/mid/short-term Software Process Improvement based on Risk Observation
Koichiro Ochimizu (JAIST)
pp. 31 - 36
SS2006-62
Extension of Automatic Visualization Tool ``Avis'' for Large Scale Programs
Yoshihiro Kita, Tetsuro Katayama, Shigeyuki Tomita (Univ. of Miyazaki)
pp. 37 - 42
SS2006-63
Supporting Method to Understand Java Programs by Visualization of the Execution History with Sequence Diagram
Akito Takeshita, Tetsuro Katayama (Univ of Miyazaki)
pp. 43 - 48
SS2006-64
A Virtual Bookshelf Disposing Scroop Images over Network
Takuya Miyagawa, Kyohei Yamaguchi, Yoichi Omori, Daisuke Ikeda, Keijiro Araki (Kyushu Univ.)
pp. 49 - 54
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.