| 1 |
Valuing Security |
Bashar Nuseibeh/著 |
|
|
|
| 2 |
ソフトウェア工学:40年目の現実 |
中所 武司/著 |
|
|
|
| 3 |
ソフトウェアの仕事はエキサイティング |
松原 友夫/著 |
|
|
|
| 4 |
アスペクト指向プログラミング |
増原 英彦/著 |
|
|
|
| 5 |
セキュリティ要求分析 |
田原 康之/ほか著 |
|
|
|
| 6 |
ゴール思考で防ぐIT開発の失敗 |
山本 修一郎/ほか著 |
|
|
|
| 7 |
Model Checking Networked Applications |
Cyrille Artho/著 |
|
|
|
| 8 |
ソフトウェア工学の道具としての形式手法 |
中島 震/著 |
|
|
|
| 9 |
Research Methods For Software Engineering |
Mike Barker/著 |
|
|
|
| 10 |
ソフトウェア開発とモデリング |
荒木 啓二郎/ほか著 |
|
|
|
| 11 |
日本のソフトウェア問題 |
神谷 芳樹/ほか著 |
|
|
|
| 12 |
情報フローを考慮したブラウザの計算モデル |
立石 孝彰/著 |
田渕 直/著 |
|
|
| 13 |
ストリーム指向によるXQuery問い合わせ処理の効率化 |
蜂巣 吉成/ほか著 |
|
|
|
| 14 |
語単一化にもとづく文字列テストデータ生成 |
梅村 晃広/著 |
|
|
|
| 15 |
業務アプリケーションに利用するためのAjaxフレームワーク |
松塚 貴英/著 |
高山 龍二/著 |
|
|
| 16 |
任意のオブジェクト間での非同期通信による並列実行処理フレームワーク |
中尾 太郎/ほか著 |
|
|
|
| 17 |
アンビエントサービス環境上の連続的サービス提供とその評価 |
青山 幹雄/ほか著 |
|
|
|
| 18 |
ソフトウェア信頼度成長モデルにおける統合モデルの曲線の形状と実測データへの適用 |
古山 恒夫/著 |
|
|
|
| 19 |
UMLダイアグラムを対象とした分散共同モデリング支援システム |
徐 冬梅/ほか著 |
|
|
|
| 20 |
ビジネスプロセスへの情報システム導入におけるゴールマネジメントフレームワークの提案 |
斎藤 忍/著 |
山本 修一郎/著 |
|
|
| 21 |
UMLアクティビティ図に対する事象部分グラフ抽出および事象独立性検証アルゴリズム |
高木 理/ほか著 |
|
|
|
| 22 |
Webアプリケーションのページ遷移の自動抽出と検証 |
久保 淳人/ほか著 |
|
|
|
| 23 |
Wikiを用いた学生による実ソフトウェア開発プロジェクトの管理方法 |
高橋 圭一/著 |
|
|
|
| 24 |
顧客向けプログラム説明書と機能を同期させる一手法の提案 |
山泉 貴之/著 |
|
|
|
| 25 |
モデルとパターンに基づく業務アプリケーションの変更方法とその評価 |
田中 光/著 |
青山 幹雄/著 |
|
|
| 26 |
VDM++によるデジタルテレビ制御ソフトウエアの仕様 |
野中 哲/著 |
|
|
|
| 27 |
MetaEdit+によるDomain‐specific modeling開発環境の構築 |
浅野 義雄/著 |
|
|
|
| 28 |
ソフトウェア開発における統一的進化モデルの提案 |
下滝 亜里/著 |
青山 幹雄/著 |
|
|
| 29 |
OSGiに基づく拡張可能ソフトウェアの動作情報取得手法 |
清崎 大輔/ほか著 |
|
|
|
| 30 |
プログラミング教育支援のためのプログラム自動可視化ツールAvisの試作 |
喜多 義弘/ほか著 |
|
|
|