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

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

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

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

[Japanese] / [English]

（

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

）→

（

講演検索

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

）→

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

「from:2004-11-25 to:2004-11-25」による検索結果

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

講演検索結果

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

研究会	発表日時	開催地		タイトル・著者	抄録	資料番号
SS	2004-11-25 13:00	山梨	山梨大学甲府(武田)キャンパス	オートマトンモデルに基づいたディジタルロジックの仕様化と検証 ○山中一宏・和泉　諭・加藤　靖・高橋　薫（仙台電波高専）	形式手法の応用として，仕様記述言語E-LOTOS，SDLに基づいたディジタルロジックの仕様化に関する研究がこれまでに行わ... [more]	SS2004-26 pp.1-6
SS	2004-11-25 13:30	山梨	山梨大学甲府(武田)キャンパス	UMLの複数のダイアグラムを用いたJavaプログラムのテスト手法に関する一考察 ○藪谷悠介・下村希世人・片山徹郎（宮崎大）	ソフトウェア開発設計において，オブジェクト指向技術を用いた開発の増加に伴い，UML（Unified Modeling L... [more]	SS2004-27 pp.7-12
SS	2004-11-25 14:00	山梨	山梨大学甲府(武田)キャンパス	事前・事後条件を用いた、ルールによるシナリオ検証 ○外山竜也・大西　淳（立命館大）	本論文では，作成済みのシナリオ検証用のルールを同じドメインに属する他のシナリオにも再利用することを目的に，事前条件・事後... [more]	SS2004-28 pp.13-18
SS	2004-11-25 14:30	山梨	山梨大学甲府(武田)キャンパス	正常シナリオからの代替・例外シナリオ作成支援 ○北本幸司・糸賀裕弥・大西　淳（立命館大）	本稿では，本研究室で開発されたシナリオ記述言語SLAFで記述された正常シナリオからSLAFのモデルである要求フレームを利... [more]	SS2004-29 pp.19-24
SS	2004-11-25 15:30	山梨	山梨大学甲府(武田)キャンパス	Web上の表形式類似データの統合技法 ○吉村千秋（山梨大/山梨県富士工技センター）・渡辺喜道（山梨大）	本研究では，Web上に存在する表形式で表現されている複数のデータを統合し，ひとつの表形式に変換する技法について提案する．... [more]	SS2004-30 pp.25-29
SS	2004-11-25 16:00	山梨	山梨大学甲府(武田)キャンパス	タクソノミの改訂に対応したXBRL文書の再構築手法 ○八畑陽平・渡辺喜道（山梨大）	組織における財務情報を記述したXBRL文書は、XML文書であり、財務データを記述したインスタンス文書と会計科目を定義した... [more]	SS2004-31 pp.31-36
SS	2004-11-25 16:30	山梨	山梨大学甲府(武田)キャンパス	変数更新の回数と分散に基づくプログラムのメンタルシミュレーションコスト評価 ○石黒誉久・井垣　宏・中村匡秀・門田暁人・松本健一（奈良先端大）	理解しやすいプログラムを作成することは，プログラムの信頼性や保守性を向上させるうえで重要である．本稿では，プログラム理解... [more]	SS2004-32 pp.37-42
SS	2004-11-25 17:00	山梨	山梨大学甲府(武田)キャンパス	融合変換を模倣するプログラム生成変換の戦略 ○長島正憲・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大）	等号付き一階述語論理に基づくプログラム生成変換$\mathcal{GS}$は，一般の等式論理では扱うことのできない限量子... [more]	SS2004-33 pp.43-48
SS	2004-11-26 09:30	山梨	山梨大学甲府(武田)キャンパス	ソフトウェアの自己変更を支援する機構について ○渡邉勝正・井上晶広・山田洋平・中西正樹・山下　茂（奈良先端大）	大規模で複雑なソフトウェアの設計に当たっては，仕様が確定していなかったり，仕様が変更されたりすることがある．これに対応す... [more]	SS2004-34 pp.1-6
SS	2004-11-26 10:00	山梨	山梨大学甲府(武田)キャンパス	スキーマをもとに属性文法を生成し XML 変換を行う手法について ○萩原威志・飯岡将利（新潟大）	本研究では， DTDなどのスキーマをもとに属性文法を生成して XML 変換を行う体系を構築している．今回，DTDス... [more]	SS2004-35 pp.7-12
SS	2004-11-26 10:30	山梨	山梨大学甲府(武田)キャンパス	複数の手法を用いたソフトウェア開発プロジェクトの混乱予測～手法間での精度比較実験～ ○工藤公太・水野　修・菊野　亨（阪大）	[more]	SS2004-36 pp.13-18
SS	2004-11-26 11:00	山梨	山梨大学甲府(武田)キャンパス	状態マシンに基づくWebアプリケーションのモデル化 ○大崎雅代・寺岡照彦・中田秀男（三菱電機）	本稿では，Webアプリケーションを，UMLの状態マシンに基づいてモデル化する手法について提案する．本手法では，Webペー... [more]	SS2004-37 pp.19-24
SS	2004-11-26 11:30	山梨	山梨大学甲府(武田)キャンパス	柔軟なアクセス制御と権限の委譲が可能な大規模分散ファイルシステム ○小日向弘好（山梨大）	今後のネットワークインフラの整備により, 場所や使用計算機を問わず, どこからでも同一の計算機環境を使用できるネットワー... [more]	SS2004-38 pp.25-30
SS	2004-11-26 13:00	山梨	山梨大学甲府(武田)キャンパス	バウンディングボリュームを用いた衝突検出の高速化に関する研究 ○池ヶ谷和博・安藤英俊（山梨大）	衝突検出とは，オブジェクト同士が互いに接触するかどうかを判定する処理であり，仮想現実，ロボット工学，ゲームなどの3Dシミ... [more]	SS2004-39 pp.31-36
SS	2004-11-26 13:30	山梨	山梨大学甲府(武田)キャンパス	証明書管理機能付暗号化メーリングリストシステム ○久米佑典（山梨大）	本稿ではS/MIME暗号化メーリングリストの問題点を提示し，その解決策としてPKI環境構築支援機能を暗号化メーリングリス... [more]	SS2004-40 pp.37-41
SS	2004-11-26 14:00	山梨	山梨大学甲府(武田)キャンパス	ソフトウェア開発プロセス管理データの収集と活用の支援を目的とした電子ガイドの提案 ○村上　弘・飯田　元・松本健一（奈良先端大）	[more]	SS2004-41 pp.43-48
SS	2004-11-26 14:30	山梨	山梨大学甲府(武田)キャンパス	Model 2アーキテクチャのコンポーネント間関係に基づいたWebアプリケーション開発支援 ○石山智朗（早大）・小野康一（日本IBM）・深澤良彰（早大）	Model 2アーキテクチャに基づくWebアプリケーションは、MVCパターンに基づいた3つのコンポーネント間の関係を考慮... [more]	SS2004-42 pp.49-54

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

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

IEICE / 電子情報通信学会