情報システム開発における形式的手法(<特集>情報システム設計論) Formal methods in Information System Development(<Special Issue> The New Methodology of Information Systems Design)

抄録

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.

収録刊行物

日本情報経営学会誌   [巻号一覧]

日本情報経営学会誌 28(2), 16-24, 2007-12-20  [この号の目次]

日本情報経営学会

プレビュー

プレビュー

各種コード

  • NII論文ID(NAID) :
    110006535160
  • NII書誌ID(NCID) :
    AA12242308
  • 本文言語コード :
    JPN
  • 資料種別 :
    特集
  • ISSN :
    18822614
  • NDL 記事登録ID :
    9327623
  • NDL 雑誌分類 :
    ZM13(科学技術--科学技術一般--データ処理・計算機) // ZD25(経済--企業・経営--経営管理)
  • NDL 請求記号 :
    Z14-812
  • 収録DB :
    NDL  NII-ELS 

書き出し