情報システム開発における形式的手法(<特集>情報システム設計論)

• 飯島 淳一

  東京工業大学大学院社会理工学研究科

書誌事項

タイトル別名

• 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

  日本情報経営学会

キーワード

• Systems Failure
• Formal Methods
• Formal Specification
• Model Checking
• VDM (Vienna Development Method)

詳細情報

• CRID: 1390001205289513600
• NII論文ID: 110006535160
• NII書誌ID: AA12242308
• DOI: 10.20627/jsim.28.2_16
• ISSN: 21899681
• ISSN: 18822614
• NDL書誌ID: 9327623
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I9327623
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可