| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
知能ソフトウェア工学研究会 (KBSE) (検索条件: 2022年度)
「from:2023-03-16 to:2023-03-16」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2023-03-16 14:00 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
管理データに基づくサブシステム間依存関係のモデル化 ○猿渡卓也（NTTデータ）  KBSE2022-54 |
複数のサブシステムから構成されるシステムでは，システム内の異なる複数のサブシステムで，同じ 内容のデータが管理される状況... [more] | KBSE2022-54 pp.1-6 |
| KBSE | 2023-03-16 14:35 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
機械学習プロジェクトにおける課題解決のための知識のモデル化 ○竹内広宜（武蔵大）・山本修一郎（名古屋国際工科専門職大） KBSE2022-55 |
[more] | KBSE2022-55 pp.7-12 |
| KBSE | 2023-03-16 15:10 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
非形式/準形式混成記法に基づくトレーサビリティ管理手法 ○岡田遼嗣・大濱吉紘・伊藤誠悟（豊田中研） KBSE2022-56 |
ソフトウェア及びシステムの設計における仕様情報のトレーサビリティ管理方法として，非形式的な表記法を用いる方法，準形式手法... [more] | KBSE2022-56 pp.13-18 |
| KBSE | 2023-03-16 15:55 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
ユニバーサルスポーツをリモート化するシステムの開発と実証実験 ○金井祐斗・粂野文洋・山地秀美（日本工大） KBSE2022-57 |
[more] | KBSE2022-57 pp.19-24 |
| KBSE | 2023-03-16 16:20 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
Pythonicなリスト内包表記の習得を目的としたヒント提示手法の提案 ○今元 佑・槇原絵里奈・島﨑悠斗・小野景子（同志社大） KBSE2022-58 |
近年，開発や研究の現場におけるPythonの需要が増加している． それに伴って，端的に記述でき実行性能を上げることがで... [more] |
KBSE2022-58 pp.25-30 |
| KBSE | 2023-03-16 16:45 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
初学者支援を目的としたコードエディタにおけるPythonの型プレビュー機能実装に関する研究 ○友池真輝・沖野健太郎・近藤将成・亀井靖高・鵜林尚靖（九大） KBSE2022-59 |
近年，大学の初等的なプログラミングの授業においてPythonが利用されることが増えている．Pythonは動的型付け言語で... [more] | KBSE2022-59 pp.31-36 |
| KBSE | 2023-03-17 09:30 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
情報システムの進展におけるシステム思考と要求工学の関係の深化 ○山本修一郎（名古屋国際工科専門職大） KBSE2022-60 |
[more] | KBSE2022-60 pp.37-42 |
| KBSE | 2023-03-17 10:05 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
OSSの採用リスク低減に向けたOSSへの生存時間分析の適用 ○東本知志・蔵元宏樹（九大）・斎藤 忍・飯村結香子（NTT）・近藤将成・亀井靖高・鵜林尚靖（九大） KBSE2022-61 |
[more] | KBSE2022-61 pp.43-48 |
| KBSE | 2023-03-17 10:40 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
モデル検査を用いたFRAMにおける機能間の相互作用を検証するの試み ○青木善貴（BIPROGY）・久住憲嗣（芝浦工大） KBSE2022-62 |
FRAM(Functional Resonance Analysis Method：機能共鳴分析手法) は，システムの機... [more] | KBSE2022-62 pp.49-54 |
| KBSE | 2023-03-17 11:15 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
コマンドの編集距離に基づくDockerfileにおける類似記述の検索 中村碧海・○丸山勝久（立命館大） KBSE2022-63 |
近年，コンテナ型仮想化技術としてDockerが注目されている．Dockerでは，コンテナの構築手順をDockerfile... [more] | KBSE2022-63 pp.55-60 |
| KBSE | 2023-03-17 12:50 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
確率的モデル検査器を用いたファミリーベースモデル検査についての考察 ○岸 知二（早大） KBSE2022-64 |
ファミリーベースモデル検査は可変性を持つシステム定義を対象にモデル検査を行い、複数の製品バリエーションの性質を一度に検証... [more] | KBSE2022-64 pp.61-66 |
| KBSE | 2023-03-17 13:25 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
境界値分析に基づいたテストケース生成に関する一考察 ○郭 秀景・岡村寛之・土肥 正（広島大） KBSE2022-65 |
ソフトウェアテストにおけるテストケース設計において境界値分析(BVA)がよく知られている.境 界値とは，最小の変更によっ... [more] | KBSE2022-65 pp.67-72 |
| KBSE | 2023-03-17 14:10 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
トレースのバリアントに基づくKPI閾値の自動検出によるビジネスプロセスの分析 ○武井太郎・堀田大貴（茨城大） KBSE2022-66 |
複雑なビジネスプロセスを分析する手段として，イベントログをKPI閾値でフィルターし特定のプロセスのみを抽出する方法がある... [more] | KBSE2022-66 pp.73-78 |
| KBSE | 2023-03-17 14:35 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
SimulinkとSMTソルバの連携による協調解析支援ツールの開発 ○エンジリスタ アナック ノルマン・上田賀一（茨城大） KBSE2022-67 |
協調解析で多様なモデルを対象とするには，演算や型の特性に応じてSMT ソルバを選択できる必要がある．そのため，本研究では... [more] | KBSE2022-67 pp.79-84 |
| KBSE | 2023-03-17 15:00 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
GitHub Copilotを用いたコード自動生成における入力データ順序の影響調査 ○野口広太郎・小柳 慶・近藤将成・亀井靖高・鵜林尚靖（九大） KBSE2022-68 |
GitHub Copilotは，大規模言語モデルをベースとするコードの自動生成ツールであり，プログラム中のコメントを入力... [more] | KBSE2022-68 pp.85-90 |
| KBSE | 2023-03-17 15:25 |
広島 | JMS アステールプラザ（広島） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
OSSプロジェクトの早期成否判別に関する活動情報の調査 ○菊池悠雅・上田賀一（茨城大） KBSE2022-69 |
オープンソースソフトウェア（以下 OSS）は，近年企業でも利用されるようになってきた．しかし，OSSはその開発形態から予... [more] | KBSE2022-69 pp.91-96 |
[研究会発表申込システムのトップページに戻る]