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

• 資料種別: 雑誌
• ISSN: 0289-6540
• ISSN-L: 0289-6540
• タイトル: コンピュータソフトウェア
• タイトルよみ: コンピュータ ソフトウェア
• 巻次・部編番号: 15(1)-15(6) 19980100-19981100
• 著者・編者: 日本ソフトウェア科学会 編
• 著者標目: 日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )典拠
• 出版事項: 東京 : 日本ソフトウェア科学会; 東京 : 岩波書店 (発売)
• 出版年月日等: 1998
• 出版年（W3CDTF）: 1998
• 出版表示等に関する注記: 1巻1号から2巻2号までの出版者: 岩波書店
• 刊行巻次・年月次: 1巻1号 (Apr. 1984)-
• 大きさ: 26cm
• 並列タイトル等: Computer software Computer software; Computer software
• 出版地（国名コード）: 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
• 全国書誌番号: 00040850
• 目録規則: 国立国会図書館逐次刊行物目録規則
• 整理区分コード: 131

目次

制約処理パターンを用いたオブジェクト指向ソフトウェア開発

NueLindaモデルと自己記述による実装

CafeOBJによる分散システムの形式仕様作成法

パッドベースシステムによるビジュアルプログラミングシステムの構成

静的解析と制約充足によるプログラム自動デバッグ

特集 21世紀のソフトウェア工学

形式的手法に基づいた構造化ダイアグラムの一貫性検証について (特集 21世紀のソフトウェア工学)

運用段階におけるソフトウェア・アベイラビリティ評価モデル (特集 21世紀のソフトウェア工学)

時相論理によるリアクティブシステム仕様の実現可能性に関する分類 (特集 21世紀のソフトウェア工学)

線形再帰プログラムからの再帰除去とその実際的効果

建築家と計算機科学者の対話 黒川雅之×土居範久

マルチエージェント実時間リアクティブプランニングの提案と評価

オブジェクト指向言語を利用した自動的かつ効率的な実行時コード形成

WWW用分散キャッシュ構成の検討

拡張できるGUIアプリケーションにおける大規模な作業の予測

特集 インタラクティブソフトウェア

キーワードを2次元平面に配置する文書検索システム (特集 インタラクティブソフトウェア)

認知的負荷の少ないインタラクティブ描画方式の提案 (特集 インタラクティブソフトウェア)

Visible Dispatch:視覚的イベント駆動型アプリケーション構築法 (特集 インタラクティブソフトウェア)

マルチメディア情報検索に関する一考察--三次元モデル情報からのアプローチ (特集 インタラクティブソフトウェア)

特集 インターネット技術

IPv6とリアルタイム通信プロトコル (特集 インターネット技術)

利便性の向上と省力化を目的としたネットワークの性能管理システムipsh (特集 インターネット技術)

TCP性能評価システムDBSの構築 (特集 インターネット技術)

IPトンネルのモデル化と実装 (特集 インターネット技術)

芸術哲学者と計算機科学者の対話

有機的プログラミング言語Gaea

分類と階層化に基づく情報提供エージェントの実現

ネットワーク移動型プログラムにおけるQOS自己調整機構

HoloWall:壁面型インタフェースの新しい構成手法