ソフトウェアテクノロジーシリーズ<br> 要求工学―プロセスと環境トラック

個数:

ソフトウェアテクノロジーシリーズ
要求工学―プロセスと環境トラック

  • 提携先に2冊在庫がございます。(2024年05月10日 04時18分現在)
    通常、5~7日程度で出荷されます。
    ※納期遅延や、在庫切れで解約させていただく場合もございます。
    ※1回のご注文は10冊までとなります
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【出荷予定日】
    通常、5~7日程度で出荷されます。

    【ご注意事項】 ※必ずお読みください
    ◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
    ◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
    ◆事情により出荷が遅れる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆画像の表紙や帯等は実物とは異なる場合があります。
    ◆特に表記のない限り特典はありません。
    ◆別冊解答などの付属品はお付けできない場合がございます。
  • ●店舗受取サービス(送料無料)もご利用いただけます。
    ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら
  • サイズ A5判/ページ数 248p/高さ 22cm
  • 商品コード 9784320027824
  • NDC分類 007.63
  • Cコード C3341

出版社内容情報

【解説】
要求言語や要求仕様について具体例を用いて分かりやすく解説。要求仕様についてはIEEEの企画に基づき,その構成,書かれるべき内容,仕様の特性を紹介。

【目次】
要求獲得・シナリオ・要求仕様・要求言語・要求仕様価技法・形式的仕様・要求仕様とソフトウェア開発管理・ラピッドプロトタイピング・要求定義と支援技術 他

内容説明

本書はソフトウェア要求について、その概要を紹介し、ソフトウェア要求定義に関する諸技法を解説している。

目次

はじめに
要求獲得
シナリオ
要求仕様
要求言語
要求仕様化技法
形式的仕様
要求仕様とソフトウェア開発管理
ラピッドプロトタイピング
要求定義と支援技術
付録:IEEE Std 830‐1998による要求仕様第3章の構成例

著者等紹介

大西淳[オオニシアツシ]
1981年京都大学大学院工学研究科修士課程情報工学専攻修了。1983年~1994年京都大学。現在、立命館大学理工学部情報学科

郷健太郎[ゴウケンタロウ]
1996年東北大学大学院情報科学研究科博士課程修了。現在、山梨大学工学部コンピュータ・メディア工学科
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。