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

Abstract

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.

Journal

Journal of information and management   [List of Volumes]

Journal of information and management 28(2), 16-24, 2007-12-20  [Table of Contents]

Japan Society for Information and Management

Preview

Preview

Codes

  • NII Article ID (NAID) :
    110006535160
  • NII NACSIS-CAT ID (NCID) :
    AA12242308
  • Text Lang :
    JPN
  • Article Type :
    特集
  • ISSN :
    18822614
  • NDL Article ID :
    9327623
  • NDL Source Classification :
    ZM13(科学技術--科学技術一般--データ処理・計算機) // ZD25(経済--企業・経営--経営管理)
  • NDL Call No. :
    Z14-812
  • Databases :
    NDL  NII-ELS