BOOK SEARCH
入門電気・電子工学シリーズ 9 入門計算機ソフトウエア
内容紹介
ソフトウエア領域の全体像を実践的に説明し,ソフトウエアに関する知識と技術が獲得できるよう平易に解説したテキスト。〔内容〕データ構造とアルゴリズム/プログラミング言語/基本ソフトウエア/言語処理系/システム事例/他
編集部から
目次
1. 序 論
2. データ構造とアルゴリズム
2.1 基本型
整数/実数/真偽値/文字
2.2 構造型
配列/スタック/キュー/リスト
2.3 アルゴリズム
計算量/ソーティング/凸包/最短経路
3. プログラミング言語
3.1 手続き型言語
アセンブラ/FORTRAN/ALGOL/COBOL/PL/I/C/PASCAL/Ada/BASIC
3.2 関数型言語
LISP/Scheme/Haskell
3.3 論理型言語
Prolog/GHC
3.4 オブジェクト指向言語
Smalltalk-80/C /Java
3.5 専用言語
シェル/VHDL/TEX/HTML,XML,Java Script/PostScript
4. 言語処理系
4.1 コンパイラの構成
言語処理系の種類/コンパイラの論理的な構成/コンパイラの物理的な構成/
実際のコンパイラの構成
4.2 コンパイラの入力―プログラム言語の形式的な記法
バッカス記法/“まほろば0”の文法の定義(字句解析レベル)/“まほろば0”
の文法の定義(構文解析レベル)/構文図式/まほろばの文法/まほろば0
コンパイラのメインルーチンと共通ルーチン
4.3 目的プログラムの構成
まほろば0仮想計算機の構成と機能/まほろば0インタプリタ
4.4 中間語とコード生成
4.5 字句解析と読込み
読み込みと文字の分析/字句解析
4.6 構文解析
プログラムの構成の構文解析/名前部の解析と変数表の作成/処理部の文の解析
4.7 演算式の分解とスタック表
中置記法と後置記法/演算式の分解/スタック表と目的コード
4.8 条件文や繰返し文の分岐方法とタグ表
条件文の中間語と分岐先の決定方法/繰返し文の中間語と分岐先の決定方法/
分岐命令の目的コードと飛び先番地の解決
4.9 関数の定義・呼出し文・復帰文の処理と関数名表
5. 基本ソフトウェア
5.1 オペレーティングシステム
オペレーティングシステムの発達/オペレーティングシステムの構成/
タスク管理/ジョブ管理/デバイスドライバ/記憶管理/処理プログラム/
リアルタイム処理に伴う技術
5.2 データベース
データベースの概念/データモデル/データの独立性とスキーマ/
データ定義の基本概念/リレーショナルモデル
5.3 ネットワーク
ネットワークの形態/OSI基本参照モデル/OSIプロトコル/
ローカルエリアネットワーク/インターネットとTCP/IPプロトコル/
プロトコルと通信ソフトウェア
6. ソフトウェア工学
6.1 ソフトウェアの製造プロセスモデル
ウォータフォールモデル/プロトタイプモデル/スパイラルモデル/
オブジェクト指向型開発
6.2 ウォータフォールモデルのフェーズ
基本計画段階/仕様設計段階/プログラム設計段階/プログラミング段階/
テスト段階/運用・保守段階
6.3 構造化設計
構造化設計技法/構造化プログラミング/流れ図とPAD
6.4 ソフトウェアライフサイクルと各種技法
構造化分析(structured analysis)/データフローダイヤグラムDFD/
ペトリネットモデル/ERダイヤグラム/コストモデル/HIPO/因果グラフ/
ウォークスルーとインスペクション/テスト手法/デバッグ手法
6.5 オブジェクト指向技術
オブジェクト指向の構成要素/オブジェクト指向の特徴/
オブジェクト指向のための統一モデリング言語UML
7. システム事例
7.1 組込み型マイクロコンピュータ
アラーム付き時計の仕様/ソフトウェア構成/流れ図(フローチャート)/
ハードウェア
7.2 座席予約システム・マルス
マルスシステムの発展/マルス中央装置/マルス端末装置
7.3 インターネット技術と電子メール
電子メールの一般的なモデル/インターネットの電子メールの基本構造/
電子メールの標準規格
8. 索 引
執筆者紹介
【編集】
加川 幸雄
江端 正直
山口 正恆