Print edition: ISSN 0913-5685
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2006-56
時間経過の概念を導入したTimed STDsによる協調システムのモデリング
○豊原雄太・川端 亮・伊藤 潔（上智大）
pp. 1 - 5
SS2006-57
単純型項書換え系における定理自動証明系HOPSYS
○蒲田明憲・草刈圭一朗・西田直樹・酒井正彦・坂部俊樹（名大）
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
プロダクトライン開発方法論PLUSの問題点とその改善
中西恒夫（九大）・○山崎 進・藤田充典・山下直仁（福岡知的クラスター研）・芦原秀一（ネットワーク応用技研）
pp. 25 - 30
SS2006-61
統合フレームワークとリスク監視に基づくソフトウェアプロセスの長・中・短期的改善法に関する考察
○落水浩一郎（北陸先端大）
pp. 31 - 36
SS2006-62
Javaプログラム自動可視化ツールAvisにおける大規模プログラム適用のための拡張
○喜多義弘・片山徹郎・冨田重幸（宮崎大）
pp. 37 - 42
SS2006-63
シーケンス図を用いた実行履歴の可視化によるJavaプログラムの理解支援に関する考察
○竹下彰人・片山徹郎（宮崎大）
pp. 43 - 48
SS2006-64
背表紙画像を用いたネットワーク透過な仮想書架
宮川拓也・山口恭平・○大森洋一・池田大輔・荒木啓二郎（九大）
pp. 49 - 54
今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．