研究会 - ソフトウェアサイエンス研究会 (SS)

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について

電子情報通信学会研究会発表申込システム
研究会開催スケジュール

技報閲覧サービス
[ログイン]
技報アーカイブ

[Japanese] / [English]

（

研究会名/開催地/テーマ

）→

（

講演検索

検索語: / 範囲:題目著者所属抄録キーワード

）→

ソフトウェアサイエンス研究会 (SS) (検索条件: 2012年度)

「from:2013-01-10 to:2013-01-10」による検索結果

[ソフトウェアサイエンス研究会ホームページへ]

講演検索結果

登録講演（開催プログラムが公開されているもの） （日付・昇順）

研究会	発表日時	開催地		タイトル・著者	抄録	資料番号
SS	2013-01-10 13:00	沖縄	沖縄県石垣市民会館	DTD存在下における兄弟軸を含むPositive XPathクエリの恒真性判定問題 ○楠　洋平（阪大）・橋本健二（奈良先端大）・石原靖哲・藤原　融（阪大）	近年，構造化データを記述可能なXMLが盛んに利用されており，XML文書の特定の要素を指定する問合せ言語としてXPath ... [more]	SS2012-46 pp.1-6
SS	2013-01-10 13:30	沖縄	沖縄県石垣市民会館	制約付き項のインスタンスを受理する制約付き木オートマトンの構成法 ○中野靖大・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗（名大）	制約付き項書換え系の書換え帰納法に基づいた定理自動証明の際に，制約付き項書換え系のR完全性の判定手続きが必要である． ... [more]	SS2012-47 pp.7-12
SS	2013-01-10 14:00	沖縄	沖縄県石垣市民会館	リファインメント・プランニング ○中島　震（NII）	[more]	SS2012-48 pp.13-18
SS	2013-01-10 14:45	沖縄	沖縄県石垣市民会館	APIを用いた言語拡張のためのCOINSを用いた処理系実装の試み ○塩出拓也・川端英之・北村俊明（広島市大）	C言語はシンプルな言語でありながら，様々なライブラリの機能をAPI呼び出しを介して用いることにより，多様なアプリケーショ... [more]	SS2012-49 pp.19-24
SS	2013-01-10 15:15	沖縄	沖縄県石垣市民会館	Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用 ○安藤　聡・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大）	Malbolgeは最も難解なプログラミング言語として知られている．低級アセンブリ言語の開発によりMalbolgeのループ... [more]	SS2012-50 pp.25-30
SS	2013-01-10 16:00	沖縄	沖縄県石垣市民会館	パラメータ値に関する制約を考慮したランダムテストの不具合検出率について ○重岡大樹・小島英春・土屋達弘（阪大）	本稿ではテストケース生成手法の一つであるランダムテストについて議論する.ランダムテストとはパラメータ値をランダムに設定し... [more]	SS2012-51 pp.31-35
SS	2013-01-10 16:30	沖縄	沖縄県石垣市民会館	テスト実施状況のリアルタイムな可視化を行う単体テスト可視化ツール“Jvis”の開発 ○松岡慎吾・片山徹郎（宮崎大）	[more]	SS2012-52 pp.37-42
SS	2013-01-11 09:00	沖縄	沖縄県石垣市民会館	ソフトウェア文書の抽象化に関する一考察里中真人・伊豫田善隆・○大西　淳（立命館大）	開発済の高品質なソフトウェア文書を再利用することによって，新規に開発するソフトウェア文書の生産性を向上させるとともに，文... [more]	SS2012-53 pp.43-48
SS	2013-01-11 09:30	沖縄	沖縄県石垣市民会館	Simulinkモデルの保守性向上に向けたクラスタリングおよびUMLモデルとの双方向変換に関する研究 ○小澤貴之・鷲崎弘宜・深澤良彰（早大）	Simulinkモデルは組み込みソフトウェア開発に適している．一方，大規模で煩雑なモデルになりやすく検討・修正が困難であ... [more]	SS2012-54 pp.49-53
SS	2013-01-11 10:15	沖縄	沖縄県石垣市民会館	デザインパターン検出ツールを用いた汎化関係の追加に基づくパターン適用可能箇所検出手法 ○山崎康生・高田喜朗（高知工科大）	オブジェクト指向で製作されたソースコードにおいてデザインパターンを取り入れたリファクタリングを適用することは, ソースコ... [more]	SS2012-55 pp.55-60
SS	2013-01-11 10:45	沖縄	沖縄県石垣市民会館	オープンソースソフトウェアにおけるソフトウェアライセンス間の包含関係の調査 ○眞鍋雄貴・井上克郎（阪大）	大規模なソフトウェアを効率よく作成するため，ソースファイルやライブラリなどを再利用することがある．ソースファイルやライブ... [more]	SS2012-56 pp.61-66
SS	2013-01-11 11:15	沖縄	沖縄県石垣市民会館	プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析 ○渥美紀寿（名大）・小林隆志（東工大）・阿草清滋（京大）	部分的に異なる同種のソフトウェアをバリアントと呼ぶ．複数のバリアントを効果的に開発・管理するために，C 言語による開発で... [more]	SS2012-57 pp.67-72
SS	2013-01-11 11:45	沖縄	沖縄県石垣市民会館	Androidアプリケーションの運用時消費電力分析 ○古庄裕貴・久住憲嗣（九大）・神山　剛・稲村　浩（NTTドコモ）・中西恒夫・福田　晃（九大）	本論文はAndroid端末上で動作するアプリケーションの省電力化のための分析に必要なデータ収集手法を提案する．従来の消費... [more]	SS2012-58 pp.73-78

[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]

IEICE / 電子情報通信学会