情報・システム-ソフトウェアサイエンス(開催日：2007/06/14)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2007/6/14
[資料番号]
目次

,  

[発表日]2007/6/14
[資料番号]
メソッド呼び出しパターンとして現れる横断的関心事の検出

三宅 達也,  石尾 隆,  谷口 考治,  井上 克郎,  

[発表日]2007/6/14
[資料番号]SS2007-9
ゴール指向要求分析における合意形成手法

アルダムラトフ ジャマルト,  糸賀 裕弥,  大西 淳,  

[発表日]2007/6/14
[資料番号]SS2007-10
法令工学の提案 : 電子社会の仕様としての法律とその工学的アプローチ

片山 卓也,  

[発表日]2007/6/14
[資料番号]SS2007-11
静的依存対法による高階書換え系の停止性証明

草刈 圭一朗,  磯谷 泰巨,  酒井 正彦,  坂部 俊樹,  西田 直樹,  

[発表日]2007/6/14
[資料番号]SS2007-12
二階の書換え系における引数切り落とし法

磯谷 泰巨,  草丸 圭一朗,  酒井 正彦,  坂部 俊樹,  西田 直樹,  

[発表日]2007/6/14
[資料番号]SS2007-13
履修管理システムにおけるソフトウェアアカウンタビリティ機能の実現法

早坂 良,  秋山 裕俊,  杉森 隼人,  北山 真太郎,  鈴木 正人,  落水 浩一郎,  

[発表日]2007/6/14
[資料番号]SS2007-14
ドメインの形式記述と検証

有本 泰仁,  二木 厚吉,  

[発表日]2007/6/14
[資料番号]SS2007-15
複写される方へ

,  

[発表日]2007/6/14
[資料番号]
奥付

,  

[発表日]2007/6/14
[資料番号]