制限日本語で記述されたソフトウエア要求仕様記述の検証支援システム
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェアの仕様記述を形式化して、計算機を用いて記述内容の検証を支援すると同時に、人間に分かり易く、また記述し易い日本語を提供することを目的として、自然言語に一定の文法上制限を与えた制限日本語を先に提案した。また制限日本語を用いた仕様書の作成および記述内容の検証を支援する計算機システム (SSCJ) について報告した。本稿では、インターネットプラウザを用いた入出力法の改善内容、および新規に開発した記述対象システムの動作特性を解析する機能 (動的解析機能) について報告する。
- 社団法人情報処理学会の論文
- 1997-03-12
著者
-
藤原 仁
日本大学工学部
-
武内 惇
日本大学工学部
-
椎野 努
三重大学
-
佐藤 仁
日本大学工学部
-
豊住 大輔
日本大学工学部
-
岡田 眞歩
日本大学工学部
-
椎野 努
三重大学工学部
-
椎野 努
三重大学工学部情報工学部
関連論文
- ソフトウェア要求仕様記述の推敲実験
- 2C-2 ソフトウェア要求仕様記述の推敲法に関する一考察
- ソフトウェア要求仕様記述の推敲法についての一考察
- 概念処理を用いたソフトウェア要求仕様記述作成に関する一考察
- Cプログラムの推敲技術
- 制限日本語で記述されたソフトウエア要求仕様記述の検証支援システム
- 2B-6 モジュール結合度に基づくプログラム疲労度の測定法の一考察 : 疲労予測式の定式化(組込み,品質,一般セッション,ソフトウェア科学・工学)
- D-9-8 SOAに基づいた学生サービスのサービス連携構想(D-9. オフィスインフォメーションシステム,一般セッション)
- オントロジーを用いた要求仕様記述からのオブジェクト抽出法 : オブジェクト統合(オントロジーとソフトウェア開発支援, セマンティックWebとソフトウェア工学, 一般)
- 社会性を備えた企業情報通信システムの構築技術に関する一考察
- モバイルコンピューティングの端末設計におけるコ・デザインの適用
- K-002 グループ協調学習における議事録によるグループ討議の活性化方式の一考察(K分野:教育工学・福祉工学・マルチメディア応用)
- K-001 VALLに基づくグループ協調学習におけるグループ活性化の考え方(K分野:教育工学・福祉工学・マルチメディア応用)
- 制限自然言語によるソフトウェア要求記述とその解析
- 仕様書記述用制限日本語に対する記述支援系の開発
- 情報処理システムの知的なHMI仕様の設計法に関する提案
- Cプログラム推敲アシスタントツール
- 6M-3 変数の使われ方に着目したプログラム疲労に関する一考察(ソフトウェア開発,学生セッション,ソフトウェア科学・工学)
- 1B-6 オープンソースソフトウェアを活用したソフトウェアの開発法に関する一考察 : 後工程引きソフトウェア開発法(要求,開発手法,開発環境,一般セッション,ソフトウェア科学・工学)
- D-15-24 SNSを用いたグループ間討議の活性化法の提案(D-15. 教育工学,一般セッション)
- J-001 文節区分による音声の感情認識に関する一考察(J分野:ヒューマンコミュニケーション&インタラクション)
- VLLAに基づくグループ協調学習におけるグループナレッジ化に関する一考察(教育におけるセキュリティ/一般)
- VLLAに基づくグループ協調学習におけるグループナレッジ化に関する一考察
- K-018 グループ協調学習をベースとする技術教育システムの一考察(K分野:ヒューマンコミュニケーション&インタラクション)
- K-014 音声に含まれる感情情報の認識に関する研究(K分野:ヒューマンコミュニケーション&インタラクション)
- L-035 OMGWによるコミュニティ活性化の実現法の一考察(L分野:ネットワークコンピューティング)
- D-15-16 計算機基本動作教育システムの一考察(D-15. 教育工学, 情報・システム1)
- 技術教育のためのオーダーメイド教育法と支援システムの提案(ヒューマンインタフェース技術の教育への利用/一般)
- M-038 コミュニティ支援機能を有する地域活性ポータルサイトの構成法に関する研究 : コミュニティ制御機能の実現に関する一考察(M.ネットワーク・モバイルコンピューティング)
- C-016 責務とコンポーネントによるハードウェア/ファームウェア/ソフトウェア機能分割に関する研究 : 計算機基本動作教育マシンへの適用(C.アーキテクチャ・ハードウェア)
- D-3-1 XPとOSS開発を連携させた開発モデルの提案(D-3. ソフトウェアサイエンス)
- 状況論的学習法に基づく計算機基本動作教育システムに関する一考察(障害者教育/一般)
- VLLAに基づいたグループ協調学習支援システム開発に関する一考察(障害者教育/一般)
- オントロジを用いたシュレイア/メラー法のオブジェクト抽出法の提案
- コミュニティ支援機能を有する地域活性ポータルサイトの構成法に関する研究 : コミュニティの考え方と制御法
- D-3-2 要求仕様記述推敲支援システムにおける文書構造の不具合検出機能の実現
- 経験技術教育システムVLLAに関する一考察 : オブジェクト指向方法論
- 2X-3 オブジェクト指向分析方法論の教育システムに関する一考察 : その二 教育システム構想の具体化(プログラミング・言語教育,一般講演,コンピュータと人間社会)
- 2X-2 オブジェクト指向分析方法論の教育システムに関する一考察 : その一 教育システムの構想(プログラミング・言語教育,一般講演,コンピュータと人間社会)
- 3U-3 オブジェクト指向分析における経験技術の外部化方式について
- 3U-2 オブジェクト指向分析法における経験技術の表現法に関する一考察
- 3C-6 オブジェクト指向における経験技術の分類と活用法
- 経験技術の抽出法の改善に関する一考察
- シュレィア・メラー法修得・適用支援システムの提案
- シュレィア・メラー法修得・適用支援システムの提案
- 2Z-8 設計思考過程を表現するCAPISモデルにおける着眼点分割法に関する有用性の評価(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2Z-7 CAPIS WEBにおける設計思考過程の表現を支援する成熟プロセス機能に関する一考察(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 3P-6 OSCARモデルに基づくESBの機能構成法に関する一考察 : サービス連携をコンポーネントに分割する方式(ソフトウェアアーキテクチャ・設計,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 3P-5 OSCARモデルに基づくESBの機能構成法に関する一考察 : 学生サービスシステムへの適用(ソフトウェアアーキテクチャ・設計,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- O-013 OSCARモデルに基づくサービスコンポーネント抽出に関する一考察(情報システム,一般論文)
- K-058 技術教育のための教育コンテンツ改善に関する一考察(教育工学・福祉工学・マルチメディア応用,一般論文)
- K-028 議事録を用いたグループ協調学習の活性度の評価法に関する一考察(教育工学・福祉工学・マルチメディア応用,一般論文)
- B-024 変数の使われ方に着目したプログラム疲労に関する一考察(ソフトウェア,一般論文)
- B-018 後工程引きソフトウェア開発法に関する一考察(ソフトウェア,一般論文)
- A-3-16 コデザインための高次設計段階におけるシステムの振舞い記述法の提案
- 責務分析に基づくハードウェア/ファームウェア/ソフトウェア機能分割法に関する研究
- N-1 グループ学習を支援するアウェアネス機能の提案(教育支援システム(1),N.教育・人文科学)
- 6ZK-3 オンライン出席管理システムの開発に関する検討(教育支援システム,学生セッション,コンピュータと人間社会,情報処理学会創立50周年記念)
- 音声に含まれる感情情報の認識に関する研究
- VLLA技術教育システムに関する有効性の評価
- Executable UML分析/設計法の定式化 : CAPISモデル方式による思考過程の適用(システム,特集「Web情報処理」及び一般)
- Executable UML 分析/設計法の定式化 : CAPISモデル方式による思考過程の適用
- 概念体系を用いたオブジェクトの抽出手法
- D-3-4 オントロジーを用いたオブジェクトの抽出の定式化に関する一考察
- 4Q-8 合意形成エージェントの処理方式に関する提案
- 社会性を備えた企業情報通信システム構築技術に関する一考察 : 潤滑油生産計画作成システムの構築
- CAPIS思考過程モデルを用いたクラス抽出法 : アナリシスパターンの適用法(システム,特集「Web情報処理」及び一般)
- N-2 グループ学習をベースとする教育システムアーキテクチャの提案(教育支援システム(1),N.教育・人文科学)
- D-3-5 JAVAプログラムの監査法に関する一考察
- D-13-4 Javaプログラムの疲労度に関する一考察
- CAPISモデルと品質実現オントロジを用いるクラス抽出思考過程の獲得・伝達法(知識処理)
- CAPISモデル方式による設計思考過程の表現法(知識処理)
- D-13-2 設計の思考過程を表現する概念処理モデルに関する一考察(D-13. 知能ソフトウェア工学, 情報・システム2)
- オントロジーを用いた要求仕様記述からのオブジェクト抽出法 : 機能分割法(オントロジーとソフトウェア開発支援, セマンティックWebとソフトウェア工学, 一般)
- B-18 オントロジーを用いた要求仕様記述からのオブジェクト情報モデル生成法の提案(オブジェクト指向とパターン,B.ソフトウェア)
- B-19 シュレイアー・メラー分析法からプログラム変換へのアプローチ(オブジェクト指向とパターン,B.ソフトウェア)
- D-15-12 OMGW技術教育システムにおける協調と競争を効率的に進めるための仕組みに関する一考察
- 2J-9 HMI仕様設計・評価のプロトタイプに関する一考察
- B-9 Javaプログラムにおけるプログラム疲労の測定法の提案(ソフトウェア開発支援ツール,B.ソフトウェア)
- B-8 モジュール間の関係に注目したプログラム疲労の概念の拡張に関する提案(ソフトウェア開発支援ツール,B.ソフトウェア)
- システム開発に関する技術蓄積の一考察
- リアルタイムシステム向けのオブジェクト指向分析法に関する一考察
- カーナビゲーションシステム開発へのシユレイアー/メラー法の適用に関する一考察
- D-9-1 ノートPCと携帯電話を用いた災害避難経路提示システムの開発(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
- GoogleMapと数値地図2500を活用した災害時最短避難経路提示システムの開発
- D-15-21 技術系高等教育におけるeラーニング教材開発法に関する一考察(D-15.教育工学,一般講演)
- CORBAを用いたOSCARプロセスに基づいたエージェントの実現法に関する研究
- D-8-2 CORBAを用いたエージェントOSCARプロセスの実現法に関する一考察
- 1ZA-3 非言語情報を用いた操作者の個性・特性に適応するHMIの仕様設計法の提案(UI開発支援,一般講演,インタフェース)
- エージェントを用いた意思決定支援システムの構築法
- エージェントを用いた意思決定支援システムの構築法
- 経路選択システムの試作による言語モデルに基づくソフトウェアエージェントの評価
- 言語モデルに基づくソフトウェアエージェントアーキテクチャ
- 責務ベースのH/F/S機能分割基準の明確化に関する一考察
- 3Z-8 ハードウェア/ファームウェア/ソフトウェア機能分割法の提案
- D-6-8 ハードウェア/ファームウェア/ソフトウェア機能分割の一考察
- 脳波と発話パターンを用いたチームシチュエーションアウェアネスの提案
- モバイル端末を活用した災害時最短避難経路提示システムの開発
- 情報処理システムの人間-機械系の試作に関する一考察
- J-023 共同作業者間の発話パターンと脳波変動の時系列解析によるフォローの可視化(ヒューマンコミュニケーション(3),J分野:ヒューマンコミュニケーション&インタラクション)