ソフトウェア開発現場への形式手法導入--形式手法適用の実経験から得られた知見

• Material Type: 記事
• Title: ソフトウェア開発現場への形式手法導入--形式手法適用の実経験から得られた知見
• Author/Editor: 荒木 啓二郎
• Author Heading: 荒木 啓二郎
• Periodical title: SEC journal / 情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター 編
• No. or year of volume/issue: 6(2) (通号 23) 2010.6
• Volume: 6
• Issue: 2
• Sequential issue number: 23
• Pages: 104～107
• Publication date of volume/issue (W3CDTF): 2010-06
• ISSN (Periodical Title): 1349-8622
• ISSN-L (Periodical Title): 1349-8622
• Publication (Periodical Title): 東京 : 情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• NDLC: ZM13
• Target Audience: 一般
• Collection (particular): 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 独立行政法人; https://dl.ndl.go.jp/collections/B00033
• Access Restrictions: 国立国会図書館内限定公開
• Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
• Availability of remote photoduplication service: 不可
• Holding library: 国立国会図書館
• Call No.: Z74-E391
• Related Material (URI): http://dl.ndl.go.jp/info:ndljp/pid/11105045
• Related Material (Persistent ID (NDL)): info:ndljp/pid/11105045; http://dl.ndl.go.jp/info:ndljp/pid/11105045
• Data Provider (Database): 国立国会図書館 : 国立国会図書館雑誌記事索引; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 10761681; http://id.ndl.go.jp/bib/10761681
• Bibliographic Record Category (NDL): 632

• Summary, etc.: 近年、システムの機能安全やソフトウェアシステムの不具合が社会に及ぼす影響の大きさに対する認識から、ソフトウェア開発における形式手法について関心が持たれていることを紹介する。しかしながら、我が国では残念なことに、開発現場への導入や適用はあまり進んでいないため、開発現場に導入するための参考となるよう、形...