【ソフトウエアエンジニア編】“伝えたつもり”が実は伝わっていない問題の回避策
2月17日 6:30
スマートグラス「Even G2」2026年春より国内販売開始ほか
2月23日 6:00
「jQuery」でWebゲーム「Color」を開発してみよう
2月18日 6:30
エンジニアが現場で使えるPMOの失敗回避術
最新記事: 2026年02月17日
ゲーム実装で身に付くプログラミング
最新記事: 2026年02月18日
週刊VRウォッチ
最新記事: 2026年02月23日
イベント・セミナー2026
最新記事: 2026年02月24日
「CAPE v2」ではじめる実践マルウェア解析
最新記事: 2026年01月29日
KubeCon+CloudNativeCon North America 2025レポート
最新記事: 2026年02月16日
GitHub Universe 2025レポート
最新記事: 2026年02月10日
テスト自動化ガイド 2024
生成AI完全ガイド 2024
IT運用管理ガイド 2023
DevOps完全ガイド 2023
クラウドデータベース完全ガイド 2023
ローコード開発プラットフォームガイド
業界情報やナレッジが詰まったメルマガやソーシャルぜひご覧ください
[運営] 株式会社インプレス
1. 初めにソフトウエアの欠陥がもたらす影響がクリティカルになるにつれて、より間違いの少ない開発手法に注目が集まっています。そんな中で注目されている技術の1つが、形式手法です。形式手法とは、数学をベースにしたシステム開発手法の総称です。ですが、従来の形式手法は、数学の専門知識が必要だったほか、大がか
小林 健一
2010年9月22日 20:00