文献

J-GLOBAL ID：201802265069832464   整理番号：18A0356155

シームレス要求【Powered by NICT】

Seamless requirements

著者 (3件)： Naumchev A. (Innopolis University, 1 Universitetskaya st., Innopolis, Russian Federation, 420500) ,  Meyer B. (Innopolis University, 1 Universitetskaya st., Innopolis, Russian Federation, 420500) ,  Meyer B. (Politecnico di Milano, 32 Piazza Leonardo da Vinci, Milan, Italy, 20133)
資料名： Computer Languages, Systems and Structures  (Computer Languages, Systems and Structures)
巻： 49  ページ： 119-132  発行年： 2017年 
JST資料番号： A1222A  ISSN： 1477-8424  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 機能要求のための一般的な表記法は,開発者のニーズを無視し,特異的開発モデルを標的とし,または検証のための試験への要求の翻訳を必要とする仕様しばしば;結果は非同期またはdownright不適合アーチファクトを与えることができる。機能要求仕様定義への新しいアプローチ,シームレスな要求条件と,その条件の開発者の理解とプロセスに関係なくソフトウェア品質に寄与するが,プロセス自体は形式的検証の存在における試験の欠如のために軽くなる。開発事例はこれらの利点を例示し,議論は,シームレス要求を比較した他の方法。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： *アーチファクト
準シソーラス用語： ソフトウェア品質 , 【Automatic Indexing@JST】

著者キーワード (6件)： シームレス要求 ,  仕様ドライバ ,  AutoProof ,  Eiffel ,  契約による設計 ,  形式的検証

分類 (4件)： 集積回路一般  (NC03161C) ,  CAD,CAM  (JE10000A) ,  計算機システム開発  (JD02010R) ,  論理回路  (NC05070B)

タイトルに関連する用語 (1件)： シームレス