| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2018年度)
「from:2019-03-04 to:2019-03-04」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2019-03-04 09:25 |
沖縄 | 沖縄産業支援センター | 離散時間実行環境におけるYampaプログラムに対するUppaalを用いた振舞い検証 ○中根里空・結縁祥治（名大）  SS2018-52 |
本研究では，離散時間実行環境におけるYampaプログラムの振舞い検証を行った．離散的な振舞いは連続的な振舞いを十分に実現... [more] | SS2018-52 pp.1-6 |
| SS | 2019-03-04 09:50 |
沖縄 | 沖縄産業支援センター | 時間付き可逆プロセス計算の合同性について ○山本 暁・結縁祥治（名大） SS2018-53 |
本研究では、並行計算の形式的体系の1つであるプロセス計算を拡張して、可逆性と離散時間遷移を付与したTimed RCCS(... [more] | SS2018-53 pp.7-12 |
| SS | 2019-03-04 10:15 |
沖縄 | 沖縄産業支援センター | Acumenを用いたハイブリッドシステムの統計的モデル検査 ○井上晃輔・石井大輔（福井大） SS2018-54 |
信頼性の高い連続・離散ハイブリッドシステムの開発には, モデリング・シミュレーション・検証のための統合ツールが有用である... [more] | SS2018-54 pp.13-18 |
| SS | 2019-03-04 10:40 |
沖縄 | 沖縄産業支援センター | 余裕時間の考慮によりマルチプロセッサリアルタイムシステムのヒープメモリ消費量を削減する改良LLFスケジューリング ○町頭優輝・中田明夫（広島市大） SS2018-55 |
リアルタイム組込みシステムは，複数の入力に対する応答性を向上させるためにマルチタスクシステムで設計され，また低消費電力化... [more] | SS2018-55 pp.19-24 |
| SS | 2019-03-04 11:15 |
沖縄 | 沖縄産業支援センター | サマータイム制度によるソフトウェア開発への影響調査 ○林 純一・肥後芳樹・柗本真佑・楠本真二（阪大） SS2018-56 |
一部の国や地域では，夏季を中心に標準時刻を早めるサマータイム制度が実施されている．そのため，ソフトウェアにおいて日時を扱... [more] | SS2018-56 pp.25-30 |
| SS | 2019-03-04 11:40 |
沖縄 | 沖縄産業支援センター | GitHubのJavaリポジトリを用いた弱参照の利用実態の調査 ○キム テヨン・肥後芳樹・柗本真佑・楠本真二（阪大） SS2018-57 |
多くのプログラミング言語ではガベージコレクションを利用してメモリ管理を自動化している．しかしメモリ管理の自動化によって予... [more] | SS2018-57 pp.31-36 |
| SS | 2019-03-04 12:05 |
沖縄 | 沖縄産業支援センター | 行単位の差分情報を考慮した抽象構文木のノード単位の差分出力 ○松本淳之介・肥後芳樹・楠本真二（阪大） SS2018-58 |
[more] | SS2018-58 pp.37-42 |
| SS | 2019-03-04 13:30 |
沖縄 | 沖縄産業支援センター | データフロー要求の波及効果解析手法 ○ブイ ド チエン フン・大森隆行・大西 淳（立命館大） SS2018-59 |
ソフトウェア要求の変更に際して，変更に伴う影響が他の要求に波及することがあるが，その波及を正確に対処しないと，要求の誤り... [more] | SS2018-59 pp.43-48 |
| SS | 2019-03-04 13:55 |
沖縄 | 沖縄産業支援センター | ウェブアプリケーション開発における要求獲得のためのテスト記述支援環境の提案 ○中地祥剛・崔 恩瀞（奈良先端大）・吉田則裕（名大）・飯田 元（奈良先端大） SS2018-60 |
近年，ゲームやウェブサービスなどの開発現場では，厳密な要求仕様書が作成されずプランナー（プログラミング知識はないがソフト... [more] | SS2018-60 pp.49-54 |
| SS | 2019-03-04 14:20 |
沖縄 | 沖縄産業支援センター | 概念モデリングにおけるソフトウェアパターンの再利用を支援するツールの初期評価 ○赤木 謙・橋浦弘明（日本工大）・田中昂文（東京農工大）・櫨山淳雄（学芸大）・高瀬浩史（日本工大） SS2018-61 |
ソフトウェアパターンとは，ソフトウェア開発の際に頻繁に表れる構造を抽出したもので，それらをカタログとしてまとめたものであ... [more] | SS2018-61 pp.55-60 |
| SS | 2019-03-04 14:45 |
沖縄 | 沖縄産業支援センター | 機械学習による要求文書からの開発バックログ作成支援 ○石塚 凌・鷲崎弘宜（早大）・斎藤 忍・應治沙織（NTT） SS2018-62 |
システム運用の過程で利用者から大量の要望(チケット)が寄せられる．システム開発者は寄せられたチケットの中から次期開発で必... [more] | SS2018-62 pp.61-66 |
| SS | 2019-03-04 15:20 |
沖縄 | 沖縄産業支援センター | リファクタリング実証的研究のためのデータセット作成環境 ○倉本 涼・林 晋平・佐伯元司（東工大） SS2018-63 |
リファクタリングに関する様々な実証的研究が行われている．実証的研究を行うためには，リファクタリングの実例を収集する必要が... [more] | SS2018-63 pp.67-72 |
| SS | 2019-03-04 15:45 |
沖縄 | 沖縄産業支援センター | ブランチを考慮したプロアクティブなソフトウェアメトリクス値の推定 ○伊勢本圭亮・佐伯元司・林 晋平（東工大） SS2018-64 |
不吉な臭いの検出をはじめとして、ソフトウェアメトリクスは保守性の定量化に広く利用されている。メトリクス値の計測ツールの多... [more] | SS2018-64 pp.73-78 |
| SS | 2019-03-04 16:10 |
沖縄 | 沖縄産業支援センター | 改版履歴分析に基づく変更漏れ防止支援における変更ルール集約と順位付けの効果 ○石田義八・小林隆志（東工大） SS2018-65 |
改版履歴を解析し，頻繁に同時変更されるファイルを共変更ルールとして抽出し, 開発者に同時に変更すべ きファイルを推薦す... [more] | SS2018-65 pp.79-84 |
| SS | 2019-03-04 16:45 |
沖縄 | 沖縄産業支援センター | 組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ ○坂梨元軌・酒井正彦・西田直樹・橋本健二（名大） SS2018-66 |
著者らはこれまでに，組合せ最適化問題を簡単に記述でき，かつ効率的に解く手法を開発すること目的として，SQLを基礎とした言... [more] | SS2018-66 pp.85-90 |
| SS | 2019-03-04 17:10 |
沖縄 | 沖縄産業支援センター | ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案 ○辻 光顕・高井利憲（奈良先端大）・片平真史・石濱直樹（JAXA）・柿本和希・飯田 元（奈良先端大） SS2018-67 |
自動運転車や人工衛星などの宇宙機に用いられるシステムには高い安全性が要求される。近年、このようなシステムに対する安全分析... [more] | SS2018-67 pp.91-96 |
| SS | 2019-03-04 17:35 |
沖縄 | 沖縄産業支援センター | 動的情報漏洩量の解析および適応的制御入力最適化 ○三輪竜矢・関 浩之（名大） SS2018-68 |
プログラムのセキュリティの尺度として動的情報漏洩量が提案されている．本稿ではまず，与えられたプログラムの機密入力と観測出... [more] | SS2018-68 pp.97-102 |
| SS | 2019-03-05 09:00 |
沖縄 | 沖縄産業支援センター | コードクローン間の類似度に基づく無害なコードクローンの自動判定手法 ○土居真之・肥後芳樹・楠本真二（阪大） SS2018-69 |
互いに類似するコード片であるコードクローンの存在はソフトウェア保守に悪影響を与えるとされている．しかし全てのコードクロー... [more] | SS2018-69 pp.103-108 |
| SS | 2019-03-05 09:25 |
沖縄 | 沖縄産業支援センター | コードクローンに対する集約結果に基づいた削減可能なソースコード行数の測定手法 ○中川 将・肥後芳樹・楠本真二（阪大） SS2018-70 |
コードクローンとは，ソースコード中に存在する互いに一致または類似しているコード片のことである．コードクローンを一つのメソ... [more] | SS2018-70 pp.109-114 |
| SS | 2019-03-05 09:50 |
沖縄 | 沖縄産業支援センター | コードクローン保守支援を目的とした変更履歴可視化システム ○本田紘貴・徳井翔梧・横井一輝（阪大）・崔 恩瀞（奈良先端大）・吉田則裕（名大）・井上克郎（阪大） SS2018-71 |
コードクローン変更管理システムClone Notifierは，2バージョン間で行われたコードクローンの追加，編集，削除と... [more] | SS2018-71 pp.115-120 |
[研究会発表申込システムのトップページに戻る]