| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2007年度)
「from:2007-06-21 to:2007-06-21」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2007-06-21 13:45 |
石川 | 北陸先端科学技術大学院大学 | メソッド呼び出しパターンとして現れる横断的関心事の検出 ○三宅達也・石尾 隆・谷口考治・井上克郎（阪大）  SS2007-9 |
アスペクト指向プログラミングは，複数のモジュールに横断して出現する横断的関心事を各々のモジュールから分離し，新しいモジュ... [more] | SS2007-9 pp.1-6 |
| SS | 2007-06-21 14:25 |
石川 | 北陸先端科学技術大学院大学 | [口頭発表］ コーディネータによるコンポーネントの協調とその検証 ○林 信宏・片山卓也（北陸先端大） |
[more] | |
| SS | 2007-06-21 15:05 |
石川 | 北陸先端科学技術大学院大学 | ゴール指向要求分析におけるサブゴール間の合意形成 ○ジャマルト アルダムラトフ・糸賀裕弥・大西 淳（立命館大） SS2007-10 |
ゴール指向要求分析における代替手段の選択のための合意形成手法を提案する。ソフトウェア開発過程の要求分析段階において目標の... [more] | SS2007-10 pp.7-12 |
| SS | 2007-06-21 16:00 |
石川 | 北陸先端科学技術大学院大学 | ［招待講演］法令工学の提案 ～ 電子社会の仕様としての法律とその工学的アプローチ ～ ○片山卓也（北陸先端大） SS2007-11 |
[more] | SS2007-11 pp.13-16 |
| SS | 2007-06-22 09:30 |
石川 | 北陸先端科学技術大学院大学 | 静的依存対法による高階書換え系の停止性証明 ○草刈圭一朗・磯谷泰巨・酒井正彦・坂部俊樹・西田直樹（名大） SS2007-12 |
高階書換え系は関数型言語の計算モデルであり，依存対法は再帰構造解析に基づいた高階書換え系の停止性証明法である．近年提案さ... [more] | SS2007-12 pp.17-22 |
| SS | 2007-06-22 10:10 |
石川 | 北陸先端科学技術大学院大学 | 二階の書換え系における引数切り落とし法 ○磯谷泰巨・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） SS2007-13 |
高階書換え系は関数プログラムの計算モデルであり，停止性は重要な性質の一つである．停止性証明法の一つに強計算性に基づく静的... [more] | SS2007-13 pp.23-28 |
| SS | 2007-06-22 11:05 |
石川 | 北陸先端科学技術大学院大学 | 履修管理システムにおけるソフトウェアアカウンタビリティ機能の実現法 ○早坂 良・秋山裕俊・杉森隼人・北山真太郎・鈴木正人・落水浩一郎（北陸先端大） SS2007-14 |
ソフトウェアアカウンタビリティ機能とは，システムが行った判断や行為に関して，システムの利害関係者が持つ質問に対して納得す... [more] | SS2007-14 pp.29-34 |
| SS | 2007-06-22 11:45 |
石川 | 北陸先端科学技術大学院大学 | ドメインの形式記述と検証 ○有本泰仁・二木厚吉（北陸先端大） SS2007-15 |
本稿では，OTS/CafeOBJ Methodによるドメインの形式記述とその検証についての方法を提案する． システム開... [more] |
SS2007-15 pp.35-40 |
[研究会発表申込システムのトップページに戻る]