ソフトウェア工学での応用
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/17 06:25 UTC 版)
「ドメイン固有言語」の記事における「ソフトウェア工学での応用」の解説
ドメイン固有言語は、生産性と品質を向上させるものとして、ソフトウェア工学の分野で注目されてきた。DSL が効率的ソフトウェア工学のためのツールの土台となる可能性を秘めている。そのようなツールは一部のシステムの開発で使われ始めている。 SCR（Software Cost Reduction）ツールキットはその一例である。このツールキットには、要求仕様を作成するためのエディタ、変数の依存関係を表示するブラウザ、仕様内の論理式での不備をチェックする機構、仕様とアプリケーションを比較検証するモデル検査や自動定理証明機構、仕様から自動的に不変式（invariants）を構築する機構などが含まれる。 比較的新しい分野として言語指向プログラミング（英語版）がある。これは、DSLの作成・最適化・利用を中心にすえた方法論である。
※この「ソフトウェア工学での応用」の解説は、「ドメイン固有言語」の解説の一部です。
「ソフトウェア工学での応用」を含む「ドメイン固有言語」の記事については、「ドメイン固有言語」の概要を参照ください。
ウィキペディア小見出し辞書の「ソフトウェア工学での応用」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- ソフトウェア工学での応用のページへのリンク
