Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2007-9
メソッド呼び出しパターンとして現れる横断的関心事の検出
○三宅達也・石尾 隆・谷口考治・井上克郎（阪大）
pp. 1 - 6
SS2007-10
Negotiating method among alternatives (sub-goals) in Goal-Oriented Requirements Analysis
○Aldamuratov Jomart・Hiroya Itoga・Atsushi Ohnishi（Ritsumeikan Univ.）
pp. 7 - 12
SS2007-11
［招待講演］法令工学の提案 ～ 電子社会の仕様としての法律とその工学的アプローチ ～
○片山卓也（北陸先端大）
pp. 13 - 16
SS2007-12
Static Dependeycy Pair Method for Proving Termination of Higher-Order Rewriting Systems
○Keiichirou Kusakari・Yasuo Isogai・Masahiko Sakai・Toshiki Sakabe・Naoki Nishida（Nagoya Univ.）
pp. 17 - 22
SS2007-13
二階の書換え系における引数切り落とし法
○磯谷泰巨・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大）
pp. 23 - 28
SS2007-14
履修管理システムにおけるソフトウェアアカウンタビリティ機能の実現法
○早坂 良・秋山裕俊・杉森隼人・北山真太郎・鈴木正人・落水浩一郎（北陸先端大）
pp. 29 - 34
SS2007-15
ドメインの形式記述と検証
○有本泰仁・二木厚吉（北陸先端大）
pp. 35 - 40
今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．