書店で探す
目次
19(5) 2002.9
- 特集 ソフトウェア開発を支援する基盤技術
p.333~391
19(6) 2002.11
- 特集 ソフトウェアシステム
p.425~468
19(4) 2002.7
- 特集 インタラクティブシステムとソフトウェア
p.245~265
19(2) 2002.3
- 特集 ソフトウェア工学の基礎
p.81~126
- ビジュアルな要求定義手法
p.127~130
19(3) 2002.5
- 特集 プログラミング及びプログラミング言語
p.157~194
- 安全性を保証するANSI-C実行系の実装手法
p.195~200
- ProbCutの改良と将棋への適用
p.201~204
19(1) 2002.1
- テスト集合余帰納法を用いた振舞等式の検証
p.10~21
- PT関数の逆関数を定義するTRSの生成
p.29~33
- 知識の論理とプログラム
p.34~38
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 雑誌
- ISSN
- 0289-6540
- ISSN-L
- 0289-6540
- タイトル
- タイトルよみ
- コンピュータ ソフトウェア
- 巻次・部編番号
- 19(1)-19(6) 20020100-20021100
- 著者・編者
- 日本ソフトウェア科学会 編
- 著者標目
- 日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )典拠
- 出版年月日等
- 2002