コンピュータソフトウェア = Computer software

• 資料種別: 雑誌
• タイトル: コンピュータソフトウェア
• タイトルよみ: コンピュータ ソフトウェア
• 巻次・部編番号: 21(4)-21(6) 20040700-20041100
• 著者・編者: 日本ソフトウェア科学会 編
• 著者標目: 日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )典拠
• 出版事項: 東京 : 日本ソフトウェア科学会; 東京 : 岩波書店 (発売)
• 出版年月日等: 2004
• 出版年（W3CDTF）: 2004
• 出版表示等に関する注記: 1巻1号から2巻2号までの出版者: 岩波書店
• 刊行巻次・年月次: 1巻1号 (Apr. 1984)-
• 大きさ: 26cm
• 並列タイトル等: Computer software Computer software; Computer software
• ISSN（掲載誌）: 0289-6540
• ISSN-L（掲載誌）: 0289-6540
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• NDLC: ZM13
• 一般注記: 本タイトル等は最新号による; 刊行頻度の変更あり; 20巻1号以降の並列タイトル: Computer software
• 所蔵機関: 国立国会図書館
• 請求記号: Z14-1033
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000000040374; http://id.ndl.go.jp/bib/000000040374
• 目録規則: 国立国会図書館逐次刊行物目録規則

目次

オブジェクト指向分析モデルにおけるデータフローの形式化と解析手法

FCDGに基づいたコーディングパターン

性質の伝播に関する定性空間推論

ファイル移送に基づく分散ファイルシステムの設計と実装

限量子付き等式理論の変換に基づく仕様からのプログラム生成

平成16年度功労賞授賞およびフェロー称号の授与について

「計算過程の部分評価」再び

計算過程の部分評価--コンパイラ・コンパイラの一方法

私のソフトウェア研究

オブジェクト指向に基づく並列情報処理モデルABCM/1とその記述言語ABCL/1

リフレクションの高速化技術

A Type System and Compilation Techniques for Concurrent Objects

C言語のための現実的なポインタ解析

XMLとスキーマ言語

オペレーティングシステムによる不正アクセス防止技術