第3回 形式手法とモデリング - AlloyAnalyzerを中心に | Think IT 28 users

1. 初めに ソフトウエアの欠陥がもたらす影響がクリティカルになるにつれて、より間違いの少ない開発手法に注目が集まっています。 そんな中で注目されている技術の1つが、形式手法です。形式手法とは、数学をベースにしたシステム開発手法の総称です。 ですが... 続きを読む

• thinkit.co.jp
• テクノロジー

• nobeans alloy
  2012/01/02
• j5ik2o Alloy, 形式手法
  2011/07/30 1 RT▼

  1 RT

  
• yojik
  2010/09/23
• すべて表示