NTTデータ公式サイトNTTデータ（国内事業会社） 企業情報 プロフィール 社長メッセージ 役員一覧 NTTデータのテクノロジー NTTデータグループ（持株会社） 企業情報 プロフィール 社長メッセージ Our Way 役員一覧 サステナビリティ 沿革 グループ会社 協賛・文化活動 取引先企業の皆様へ NTT DATA, Inc.（海外事業会社） 企業情報
形式手法とモデリング - AlloyAnalyzerを中心に | Think IT（シンクイット）
1. 初めに ソフトウエアの欠陥がもたらす影響がクリティカルになるにつれて、より間違いの少ない開発手法に注目が集まっています。 そんな中で注目されている技術の1つが、形式手法です。形式手法とは、数学をベースにしたシステム開発手法の総称です。 ですが、従来の形式手法は、数学の専門知識が必要だったほか、大がかりなシステム開発体制とあわせて語られることがほとんどでした。このため、一般の開発者にとっては、なじみのない技術でした。 こうした状況が、ここ数年で一変しました。PCの性能向上と、より使いやすいツールの提供により、誰でも簡単に試すことがのできる環境が整いつつあります。 本記事では、形式手法ツールの1つ「Alloy Analyzer」を取り上げ、以下の2つのポイントを中心に解説します。 形式手法は、導入の難しさが解消されてきている 形式手法は、ほかの現行の開発手法を補うかたちで利用できる 1.
形式手法実践ポータル | Formal Methods User Group
「形式手法（フォーマルメソッド）」は，数理論理学等に基づき品質の高いソフトウェアを効率よく開発するための科学的・系統的アプローチの総称です．形式手法においては，システムの注目する側面を正確に，曖昧さのないモデルで表現します．これによりシステムへに関する理解を明確にするとともに，システムの満たす性質について科学的・系統的な分析や検証を行います．その結果，曖昧な理解や誤りを早期に発見し手戻りを防いだり，分析・検証により品質を高めたりすることができます． 形式手法におけるツールの充実や，ソフトウェアの品質に対する要求の高まりを受けて，形式手法は改めて注目されてきています．ただし，形式手法・ツールにはその目的に応じて多種多様な種類があり，また個々の手法・ツールを効果的に用いるためには注意深く適用方法を検討する必要があります． このサイトでは，形式手法の利用を促進することを目指し，目的の異なる様々な
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
