Print edition: ISSN 0913-5685
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2006-13
A complete specification transformation from OTS/CafeOBJ to OTS/Maude
○Masaki Nakamura・Weiqiang Kong・Kazuhiro Ogata・Kokichi Futatsugi（JAIST）
pp. 1 - 6
SS2006-14
等式付き書換え系の等式数を削減する変換
○三浦浩一・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗（名大）
pp. 7 - 12
SS2006-15
単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け
○櫻井敬大・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大）
pp. 13 - 18
SS2006-16
制約オートマトンに関するモデル検査法の実験
○中島 震（NII/JST）
pp. 19 - 24
SS2006-17
Identification of Inconsistency between Class Diagram and Sequence Diagram
○Erwin Widodo・Atsushi Ohnishi（Ritsumeikan Univ.）
pp. 25 - 30
SS2006-18
オープンソースソフトウェアに対する遺伝的アルゴリズムに基づく信頼性評価法
○田村慶信（広島工大）・山田 茂（鳥取大）
pp. 31 - 36
SS2006-19
ソフトウェア開発方法論とプロジェクト管理の融合法に関する基礎考察
○落水浩一郎（北陸先端大）
pp. 37 - 42
今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．