情報システム開発における形式的手法(<特集>情報システム設計論)
スポンサーリンク
概要
- 論文の詳細を見る
Since current Information Systems (IS) become more complicated and ICT is used in most of businesses, "Systems Failure" causes a serious damage for our daily life once it occures. Based on this background, highly-dependable systems are focused on in many fields in artificial physical systems and even human activity systems. In this paper, we discuss on the role of formal methods in Information Systems Development and it will be discussed whether formal methods can solve those problems.
- 日本情報経営学会の論文
- 2007-12-20
著者
関連論文
- グループウェアの現状と今後の課題に関する研究
- サイバネティックス島とそれを取り巻く島々「サイバネティックス」ノ-バ-ト・ウィ-ナ-著
- 情報システム開発における形式的手法(情報システム設計論)
- 自治体Webサイトの成長段階モデル
- アプリケーションソフトウェアのためのコンポーネント開発手法の提案と適用
- EIS 都市計画アプローチに基づく企業情報システム連携に対する一考察(情報システムアーキテクチャ)(情報システム論文)
- EIS都市計画アプローチに基づく企業情報システム連携に対する一考察
- EAフレームワークとは何か(EAによる情報システム化の時代)
- 企業形態に基づく提携の分析
- 企業情報システム統合化フレームワークとしての「EIIメタモデル」の提案
- 「目標」を重視したビジネスプロセスモデリング
- 構造マトリクスにおけるタイプ記号の諸性質とビジネス構造の表現に関する一考察
- E-トレ-ディングシステムモデルに基づく総合商社の商取引きに対するアプローチ
- 制約指向DSSについての一考察
- 花卉市場におけるWWWに基づく電子商取引の研究
- WDSSについての一考察
- グループウェアの現状と動向 : 研究部会報告
- 最適化問題に対する知的WDSSの応用
- マルチメディア分散DSSの実現
- ワークフロー管理システムの有効性について(グループウェアとワークフロー)
- 特集にあたって : グループウェアを学ぶ(グループウェアとワークフロー)
- 特集にあたって-グループウェアを学ぶ-
- DSS設計論に関する一考察(DSS・AIにおけるORの適用)
- 特集に当って(DSS・AIにおけるORの適用)
- DSS上のシステム開発 : オブジェクト指向と機能指向
- あるmodel management systemの実施
- DSSのための企業モデルの構築
- DSSの新しいパラダイムとその実現
- 情報システム設計再考
- 新しいDSS概念にもとづく国際分散投資支援システムの構築
- モデルの実時間的結合
- DSSにおける自然言語処理
- 情報システムにおける支援 (特集 支援とは何か)
- 支援の定義と支援論の必要性 (特集 支援とは何か)
- act DSSの生産管理問題への適用の試み
- 新しいDSS概念とその実施構造 : actDSSとタスクウェアシステム
- actDSSの定式化とその実施
- 知的DSS(IDSS)の構築の試みと定式化 : IDSSの全体像
- DSS設計論についての一考察
- 新しいDSSの概念枠組と生産管理問題における実施例
- 国際分散投資におけるactDSSの応用について
- DSSにおけるタスクウェア・システムの構築
- 知的DSS(IDSS)の構築の試みと定式化 : IDSSの定式化
- あるDSS環境下でのSpreadsheetの実施と定式化
- あるDSS開発環境における問題解決型DSS構築に関する研究
- 意思決定支援システムのインテリジェント化 : エキスパートシステムを用いて
- D-19-2 映像データに対する電子透かし技法に関する一考察(D-19.情報通信システムセキュリティ,一般セッション)
- あるMOdel Management Systemの実施
- システムのSurjective分解
- 知的生産性研究部会報告
- Model Integration Approach for Modeling Complex Systems in Decision Support (The 2nd International Conference on OA & Information Management--The Current Information Technology and Office Automation,Proceedings,1st-3rd November 1996)
- S11-3 情報システムによる意思決定支援について
- DSSの現状と展望
- 「支援」概念の基礎づけに向けて : 支援基礎論研究部会最終報告
- 「支援」概念の基礎づけに向けて : 支援基礎論研究部会第2回中間報告
- 「支援」概念の基礎づけに向けて : 支援基礎論研究部会中間報告
- 「支援」概念に重点をおいたDSS論
- モデル理論にもとづくモデル構築の定式化と実施
- DSS設計論に関する一考察(特設テーマ)
- Artificial Intelligence : An Overview of Similaries with O.R. : R. I. Phelps (J. Opl. Res. Soc. Vol.37,No.1,pp.13-20,1986)
- H.L.ドレイファス,S.E.ドレイファス著,椋田直子訳, 純粋人工知能批判,(株)アスキー, 1987年4月11日, 325頁, 定価2100円
- エキスパート・システムの定式化