文献

J-GLOBAL ID：201302258738998881   整理番号：13A1328112

ソフトウェア工学の共通問題 2 共通問題の現状

著者 (2件)： 野田夏子 (芝浦工大) ,  片岡欣夫 (東芝)
資料名： 情報処理  (IPSJ Magazine)
巻： 54  号： 9  ページ： 882-885  発行年： 2013年08月15日 
JST資料番号： G0427A  ISSN： 0447-8053  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本稿ではソフトウェア工学における共通問題として酒屋問題以外のものを紹介した。代表的なものとして図書館問題(古くから知られ,貸出・返却及び蔵書の管理を行う),話題沸騰ポット(組込みシステム分野でよく知られ,電子ポットの要求仕様書を実現する),bCMS-SPL(自動車事故に際して警察,消防署等関係者の連絡調整を行い効率よく救助を行う),ESSロボットチャレンジ(自動航行する室内用飛行船ロボットシステムを作る),MSR Mining Challenge(様々なデータを対象として知見を導き出す),検証コンパイラ(コンパイルしたプログラムの正しさを自動確認する手法を提案する),などがある。

シソーラス用語： *ソフトウェア工学 ,  ベンチマーク ,  *ソフトウェア開発 ,  *ソフトウェア設計 ,  問題 ,  システム ,  *プログラム検証 ,  組込みシステム
準シソーラス用語： *図書館問題

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： ソフトウェア工学 ,  問題 ,  現状