命題論理に基づいたやわらかいソフトウェア設計支援システムとその応用
スポンサーリンク
概要
- 論文の詳細を見る
通信システムの分野において, これまで高水準の情報サービスのための形式的仕様の記述によるソフトウェア開発法が研究されてきた. そのための記述言語として形式記述技法 (Formal Description Techniques : FDTs) が提案されてきたが, ユーザの要求と形式記述との間の隔たりは大きく, その記述は困難であった. その上, システム要求は開発の初期段階においてしばしば変化し, その影響はシステム全体に影響を及ぼす. そこで我々は命題論理に基づいたやわらかい方法論を提案してきた. これはシステム要求の変化に対応して形式仕様を自動的に獲得するものである. また, 我々はシステム要求の論理エラー検証法, 詳細化法についても研究を行ってきた. 本稿では, 我々のソフトウェア開発法を支援するやわらかい設計支援システムについて述べる. さらに, この支援システムを用いた応用例として, 実際にCATVシステムを設計し, 通信ソフトウェア設計への適応性を示す.
- 一般社団法人情報処理学会の論文
- 1996-05-16
著者
-
白鳥 則郎
情報科学研究科
-
富樫 敦
宮城大学事業構想学部
-
富樫 敦
東北大学電気通信研究所
-
福沢 尚司
東北大学電気通信研究所情報科学研究科
-
宋 国煥
情報科学研究科
-
宋 国煥
東北大学電気通信研究所情報科学研究科
関連論文
- ベクトル空間法を基礎としたカテゴリーマッピング法によるWebページの自動分類(セッション1:検索)
- 事例ベースを用いたやわらかいビデオ会議システムの構成
- ソーシャルブックマークデータを用いた推薦システムの開発 (「Web情報処理」および一般発表)
- 99.医療機器管理システムの開発と運用(一般演題講演集,第83回日本医療機器学会大会)
- 99 医療機器管理システム開発と運用(機器管理,医療機器の安全を支える人と情報技術-あすの病院経営・企業経営を探る-,第83回日本医療機器学会大会)
- 4H-5 遠隔型健康福祉サービスによる生活習慣の継続的モニタリングに関する実践研究(医療分野への応用(3),一般セッション,コンピュータと人間社会)
- 4H-4 生活習慣の継続的モニタリングと行動変容に応じた健康改善サービスの実践的検証 : 健康モデルに基づいた個人に適した健康改善サービスの構築を目指す(医療分野への応用(3),一般セッション,コンピュータと人間社会)
- 生活習慣病に対する疾病予防システムの設計開発 : 今後の研究実施計画とこれまでの成果を中心に(セッション6: 災害時通信・ヘルスケア)
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- 中小規模のサーバーAPI構築に適したWeb API frameworkの設計開発(Web2.0時代のビジネスモデル-検索エンジンと利用技術-)
- マルチエージェントに基づく大規模災害時における知人安否確認システム(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- 1B-3 画面遷移を用いたWebアプリケーションのモデル化とSPINによる検証(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- F_010 オントロジに基づいた健康アドバイス導出システム(F分野:人工知能・ゲーム)
- F_009 健康アドバイス導出のための領域オントロジと推論ルール(F分野:人工知能・ゲーム)
- F_008 Bluetooth通信を用いた生体情報監視システムの構築(F分野:人工知能・ゲーム)
- 健康に関する領域オントロジと健康アドバイス導出ルールの構築(経営や情報技術双方の知識や立場を越えた相互理解を醸成するモデリング及びモデリングフレームワークを研究する : 特に今回はセマンティックWEBの活用にフォーカスする)
- 2G-2 中山間地を対象とした次世代ヘルスケアシステムを基盤とする地域振興に関する研究(地域情報システム,一般セッション,コンピュータと人間社会)
- F-026 健康福祉に関する領域オントロジの構築(F分野:人工知能・ゲーム)
- WWW利用者特性を反映したディレクトリサービスに関する一考察
- 画面遷移設計を基盤とした小規模Webシステム開発用Web APIフレームワークとNST・褥瘡システム開発への応用(セッション2:アプリケーション(1))
- 2G-1 地域医療情報システムの研究開発(地域情報システム,一般セッション,コンピュータと人間社会)
- 産学官連携による社会人基礎力育成・評価事業 : 宮城大学モデル-「人材の地産地消」地域で育てた人材を地域で活かす-(Web2.0時代のビジネスモデル-検索エンジンと利用技術-)
- 1ZJ-2 科学技術予測調査文書の視覚的分析(行動・資料の分析,提案,学生セッション,コンピュータと人間社会)
- 3ZH-5 静脈注射リスク因子予知分析システム(医療分野への応用,学生セッション,コンピュータと人間社会)
- 1G-5 「産学官連携による社会人基礎力育成・評価事業」宮城大学モデル : 「人材の地産地消」地域で育てた人材を地域で活かす(組織・社会と情報,一般セッション,コンピュータと人間社会)
- 総務省受託「健康福祉プロジェクト」の研究成果 : 健康福祉に関する先進的エージェント・ネットワークに関する研究(Web2.0時代におけるビジネスモデル)
- 社会的関係に基づくアクセス制御が可能な時系列データを扱うセキュアな分散データベースシステム(トラヒック,一般)
- 5.情報共有空間としての新しいWebの胎動(社会の未来を拓くネットワーク情報共有空間)
- 形式的手法によるWebアプリケーションのモデル化と検証
- 資源適合型アプリケーション統合開発環境の提案(ソフトウェア工学の基礎)
- 電子掲示版利用者の行動履歴に基づくニュース記事推薦システムに関する研究
- 区分線形分割とComplement Naive Bayes を用いた株価の外挿予測に関する研究
- ソーシャルブックマークデータを用いた推薦アルゴリズムの研究
- フォークソノミに基づく教材データベースシステムの設計(Web2.0時代のビジネスモデル-検索エンジンと利用技術-)
- Collection and Analysis of Life-style Data : A Novel Approach to Improve Health-Consciousness
- 宮城大学での情報システム開発演習科目の検討 : 科目の特徴と開講準備としてのシステム開発
- オントロジの実践的応用 : データベースの自動生成とパーソナライズ化(経営や情報技術双方の知識や立場を越えた相互理解を醸成するモデリング及びモデリングフレームワークを研究する : 特に今回はセマンティックWEBの活用にフォーカスする)
- 健康領域上のオントロジを用いた推論システムの開発(セッション6: 災害時通信・ヘルスケア)
- オントロジに基づく知的コミュニティシステム(セッション4: ミドルウェア・アプリケーション)
- 分散環境を用いた研究活動支援システム
- 分散環境を用いた研究活動支援システム
- 分散発想支援でのコミュニケーションにおけるマルチメディアの利用の有用性に関する実験的考察
- 狭帯域電力線搬送でのGUIによる家電の遠隔操作の試み
- 移動エージェントモデルを用いた家電の自律制御の試み
- リモートディスプレイフレームワークによる家電ネッワークの試み
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- 1S-5 ソーシャルブックマークデータを用いた推薦アルゴリズムの提案(ソーシャルWeb,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- ネットワークミドルウェアの運用支援システムの設計
- RO-004 学生の研究活動におけるプロジェクトマネジメントの有効性(O分野:情報システム,査読付き論文)
- RO-003 理念共有型の地域産学協同IT人材育成体系の形成(O分野:情報システム,査読付き論文)
- K-081 健康福祉のためのエージェントシステムの開発(K分野:ヒューマンコミュニケーション&インタラクション)
- F-024 オントロジ上の推論機構と推論エンジンの設計開発(F分野:人工知能・ゲーム)
- K-006 生活習慣の継続的モニタリングと行動変容に応じた健康改善サービスの実践的検証 : 健康モデルに基づいた個人に適した健康改善サービスの構築を目指す(教育工学・福祉工学・マルチメディア応用,一般論文)
- 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)
- e-Learningにおける学習支援システムに関する研究 : 領域オントロジを用いた教育用ポータルサイトの再構築(e-LearningとFD支援/一般)
- メタファーネットワークにおけるサービス記述環境の構築
- MSCからのプロセス合成(アルゴリズムと計算量理論)
- Extension of Synthesis Algorithm of Recursive Processes to $\mu$-calculus
- Inductive Synthesis of Recursive Processes from Logical Properties
- μ-calculusによる再帰プロセスの合成
- プロセス合成のための支援環境に関する研究
- μ-calculusによる再帰プロセスの合成
- プロセス合成のための支援環境に関する研究
- マルチエージェントに基づく大規模災害時における知人安否確認システム(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- マルチエージェントに基づく大規模災害時における知人安否確認システム(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- 相互関係を利用した取引相手情報の獲得支援
- 相互関係を利用した取引相手情報の獲得支援
- WWW利用者特性を反映したディレクトリサービスに関する一考察
- 研究活動支援システムにおける研究情報の蓄積機構
- 研究活動支援システムにおける研究情報の蓄積機構
- 研究活動支援における個人情報再利用エージェント
- 研究活動支援における個人情報の蓄積・管理とその再利用法に関する考察
- 研究活動支援における個人情報の蓄積・管理とその再利用法に関する考察
- 研究活動支援における個人情報の蓄積・管理とその再利用法に関する考察
- やわらかいビデオ会議システムにおけるエージェントの協調戦略知識の構成
- やわらかいビデオ会議システムにおけるエージェントの協調戦略知識の構成
- やわらかいビデオ会議システムにおけるn者間会議サービスの実現法
- やわらかいビデオ会議における利用者指向インタフェース
- やわらかいビデオ会議システムのn者間協調プロトコル
- やわらかいビデオ会議における利用者指向インタフェース
- やわらかいビデオ会議システムのn者間協調プロトコル
- やわらかいビデオ会議における利用者指向インタフェース
- やわらかいビデオ会議システムのn者間協調プロトコル
- マルチエージェントに基づく情報検索システム
- マルチメディアGUI開発支援環境における事例再利用機構の実現について
- マルチエージェントシステムの実装方法に関する一考察
- 事例再利用に基づくマルチメディアオーサリング支援環境の構築
- 3V-6 やわらかいビデオ会議システムにおける競合解消手法の提案
- エージェントを用いた非同期メッセージングシステムの設計と実装
- 利用者要求に基づくコンポーネントウェアの配信・合成法
- エージェントを用いた非同期メッセージングシステムの提案
- 命題論理に基づいたやわらかいソフトウェア設計支援システムとその応用
- 構造を持ったプロセス仕様の分割法
- コミュニティ指向ネットワークミドルウェアにおけるグループ認証手法(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- コミュニティ指向ネットワークミドルウェアにおけるグループ認証手法(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- コミュニティ指向ネットワークミドルウェアにおけるグループ認証手法(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- 心的状態に基づくエージェントコミュニケーションとその機構