| 意味 |
MALPAS Software Static Analysis Toolsetとは 意味・読み方・使い方
追加できません
(登録数上限)
ウィキペディア英語版での「MALPAS Software Static Analysis Toolset」の意味 |
MALPAS Software Static Analysis Toolset
出典:『Wikipedia』 (2011/05/23 15:24 UTC 版)
英語による解説
ウィキペディア英語版からの引用
引用
MALPAS is a software toolset that provides a means of investigating and proving the correctness of software by applying a rigorous form of static program analysis. The tool uses directed graphs and regular algebra to represent the program under analysis. Using the automated tools in MALPAS an analyst can describe the structure of a program, classify the use made of data and provide the information relationships between input and output data. It also supports a formal proof that the code meets its specification.| 意味 |
MALPAS Software Static Analysis Toolsetのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのMALPAS Software Static Analysis Toolset (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
※モジュールの非表示は、から変更可能
「MALPAS Software Static Analysis Toolset」のお隣キーワード |
MALPAS Software Static Analysis Toolset
weblioの他の辞書でも検索してみる
weblioのその他のサービス
weblioのその他のサービス
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|