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

• 資料種別: 雑誌
• タイトル: コンピュータソフトウェア
• タイトルよみ: コンピュータ ソフトウェア
• 巻次・部編番号: 22(1)-22(4) 20050100-20051000
• 著者・編者: 日本ソフトウェア科学会 編
• 著者標目: 日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )典拠
• 出版事項: 東京 : 日本ソフトウェア科学会; 東京 : 岩波書店 (発売)
• 出版年月日等: 2005
• 出版年（W3CDTF）: 2005
• 出版表示等に関する注記: 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
• 目録規則: 国立国会図書館逐次刊行物目録規則

目次

特集 システム検証の科学技術

チュートリアル 抽象化を用いた検証ツール (特集 システム検証の科学技術)

リアクティブシステム動作仕様の段階的充足可能性の判定手続き (特集 システム検証の科学技術)

コラボレーションに基づくオブジェクト指向モデルの検証 (特集 システム検証の科学技術)

組み込みソフトウェア開発におけるモデル検査の適用事例 (特集 システム検証の科学技術)

パネル討論「今後のP2Pソフトウェア」

P2P技術がネットワークインフラに及ぼす影響と課題

A Type System for Optimization Verifying Compilers

特集 続・システム検証の科学技術

チュートリアル 対話型証明支援ツールPVSの紹介 (特集 続・システム検証の科学技術)

特集 セマンティックWebと計算機科学

セマンティックWebの期待と技術階層 (特集 セマンティックWebと計算機科学)

RDFとRDFスキーマ (特集 セマンティックWebと計算機科学)

Webオントロジー記述言語OWLとその記述能力 (特集 セマンティックWebと計算機科学)

信頼のWeb (特集 セマンティックWebと計算機科学)

パネル討論 大学における情報化戦略と理工系情報学科の貢献

特集 ディペンダブルソフトウェア

チュートリアル 通信プロセスモデルと形式意味論に基づくソフトウェアのモデル化 (特集 ディペンダブルソフトウェア)

Web Automata: A Behavioral Model of Web applications based on the MVC model (特集 ディペンダブルソフトウェア)

並行オブジェクトから並行処理列への変換法 (特集 ディペンダブルソフトウェア)