SLP

• SLPの位置付け

  • SLPの位置付け
  • ツール開発の背景
  • SLPの評価
  • VDM
  • Event-B
  • SCADE
  • SPIN
  • SLP

  SLPの応用

  • 状態遷移表への応用
  • Event-Bの「精義化」を実現する

  練習問題

  Q&A

  開発プロセス改善
  のサポート

  • 要求仕様書の第三者評価体制
  • 情報セキュリティ体制の構築