- 中古
- 店舗受取可
- 書籍
- 書籍
通信ソフトウェア工学(カテゴリー2) エレクトロニクス情報・メディア・人間 アドバンストエレクトロニクスシリーズ2-6エレクトロニクスと情報・メディア・人間6
定価 ¥4,620
100円 定価より4,520円（97%）おトク
獲得ポイント0P
残り1点 ご注文はお早めに
発送時期 1～5日以内に発送
店舗受取サービス対応商品
店舗受取なら1点でも送料無料！
店舗到着予定
12/5(木)～12/10(火)
商品詳細
| 内容紹介 | |
|---|---|
| 販売会社／発売会社 | 培風館/ |
| 発売年月日 | 1995/07/10 |
| JAN | 9784563036461 |
店舗受取サービス
対応商品
店舗受取なら1点でも送料無料！
さらにお買い物で使えるポイントがたまる
店舗到着予定
12/5(木)～12/10(火)
- 書籍
- 書籍
通信ソフトウェア工学(カテゴリー2)
商品が入荷した店舗：0店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
お客様宅への発送や電話でのお取り置き・お取り寄せは行っておりません
通信ソフトウェア工学(カテゴリー2)
¥100
残り1点
ご注文はお早めに
商品レビュー
5
1件のお客様レビュー
- ネタバレ
※このレビューにはネタバレを含みます
通信ソフトウェアの状態遷移モデルとして、 SDL, Estelle, Petrinet, Statechartsを紹介している。 仕様記述としては、LOTOS,ASN.1を紹介している。 プロセス代数としては、HoareのCSP(Communicating Sequencial Processes),MilnerのCCS（Concurrent Communication System)があり、CCSを基礎としてLOTOSの定義がある。 通信ソフトウェアの試験方法としては、 単体試験 結合試験 総合安定化試験（負荷試験、故障試験、出グレード試験、性能試験、長時間安定試験、再開試験、保全試験、マニュアル試験、方式最大容量試験、移行試験） プログラムの静的解析ツール プログラムの動的解析ツール 試験実施支援ツール がある。 試験仕様記述言語としてTTCNを紹介している。。 品質目標としてISO/IEC 9126を参考文献に示している。
Posted by 
関連ワードから探す
お手持ちのスマホでスキャン