文献

J-GLOBAL ID：201702223193138982   整理番号：17A0466978

形式仕様に基づくソフトウェア部品の結合手法

著者 (2件)： 高橋宏夢 (電通大 情報理工) ,  織田健 (電通大)
資料名： 情報処理学会全国大会講演論文集
巻： 79th  号： 1  ページ： 1.267-1.268  発行年： 2017年03月16日 
JST資料番号： S0731A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *形式記述 ,  *ソフトウェアコンポーネント ,  *要求仕様 ,  *ソフトウェア開発 ,  プログラム構造 ,  文法 ,  ソーティング ,  計算量 ,  冗長性 ,  粒度【計算機】 ,  信頼性
準シソーラス用語： 形式仕様記述 ,  ソフトウェア部品 ,  要求モデル ,  ソフトウェア合成 ,  分岐構造 ,  構文 ,  計算コスト

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

引用文献 (2件)：

• 中村丈洋. B Methodにおける部品再利用によるソフトウェア合成と高信頼ソフトウェア部品の整備,電気通信大学 電気通信学研究科 博士(工学)学位論文, 2014.
• 来間啓伸. Bメソッドによる形式仕様記述, 近代科学社, 2007.

タイトルに関連する用語 (4件)： 形式 ,  仕様 ,  ソフトウェア部品 ,  結合手