抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ソフトウェア製品ラインは,カスタムテーラードソフトウェア変異体の成長需要を扱うためにますます使用されている。それらは,単一ソフトウェア製品よりむしろ全製品ファミリーを実装するためのコードにおける変動性メカニズムと対になったソフトウェアの系統的再利用を提供する。製品ラインのためのアプリケーションの共通ドメインは,安全クリティカルシステムであり,それは現場における危険な状況を避けるために行動的正当性を必要とする。ほとんどのアプローチが製品ラインの事後検証に集中している間,正しいプログラムを作成するための段階的アプローチが,成長変動性を管理するために開発者にとって有益であると主張する。正しい構成は,その仕様に関してプログラムの正当性を保証する一連の小型で扱いやすい精密化ルールを用いてプログラムを作成するための段階的アプローチである。本論文では,特徴指向プログラミングを用いて,正しい構築ソフトウェア製品ラインを開発する最初のアプローチを提案した。第1に,符号における変動点のための2つの精密化規則によって,正当性-構築を拡張した。第二に,提案した規則の健全性に対する証明を与えた。第3に,VarCorCと呼ぶツールにこの技術を実装し,2つの事例研究を実施することによってツールの適用性を示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】