構造化日本語仕様書としてのVDM仕様

• Material Type: 記事
• Title: 構造化日本語仕様書としてのVDM仕様
• Author/Editor: 佐原 伸
• Author Heading: 佐原 伸
• Periodical title: SEC journal / 情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター 編
• No. or year of volume/issue: 7(1) (通号 26) 2011.3
• Volume: 7
• Issue: 1
• Sequential issue number: 26
• Pages: 23～27
• Publication date of volume/issue (W3CDTF): 2011-03
• 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/11105048
• Related Material (Persistent ID (NDL)): info:ndljp/pid/11105048; http://dl.ndl.go.jp/info:ndljp/pid/11105048
• Data Provider (Database): 国立国会図書館 : 国立国会図書館雑誌記事索引; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 11091817; http://id.ndl.go.jp/bib/11091817
• Bibliographic Record Category (NDL): 632

• Summary, etc.: 形式仕様記述言語であるVDM++により記述した仕様を「構造化日本語仕様」と捉え、形式手法の基礎的な技術と回帰テスト等のソフトウェアエンジニアリング技術の活用によって、品質と生産性に大きな成果を得た。本稿では、その概要を紹介する。(Provided by: ja)(Provided by: ja)