ETロボコンスペシャルルセミナー「ソフトウエア正当性とモデリングの科学」 ～品質・生産性および再利用性を実現する数学的アプローチ～の講演資料のダウンロード開始
2014年6月21日（土） に横浜・関内 関東学院大学 関内メディアセンター で実施されたETロボコンスペシャルセミナーの講演資料を弊社WEBからダウンロードできるようにした。
URLは下記：
「講演タイトル」と「主な内容」は下記の通り：
■タイトル：
「「ソフトウエア正当性とモデリングの科学」 ～品質・生産性および再利用性を実現する数学的アプローチ～」
■内 容
ソフトウエアの優れたモデルを作成するためのソフトウエアの定理や法則が存在します。
品質・生産性およびソフトウエアの再利用性を実現するためには、数学的なアプローチである各種理論や定理を活用して上流から品質を担保し モデリングを行うことが不可欠であり、これ以外の方法はあり得えません。
本講演ではソフトウエアの定理や法則を優しく紹介し、「科学的モデリング」を紹介しました。
「科学的モデリング」で品質・生産性および再利用性を劇的に向上させる技法を紹介 し分析・設計からコード生成までを企業の開発現場で活用できる様に具体的かつ実践的なテクニックを紹介しました。
また、弊社開発の科学的モデリングツールによる自動演繹判定と自動コード生成も紹介しました。
以下のトピックを解説しました。
- ソフトウエアの正当性(correctness)とモデリング
- 高品質なモデル作成とモデル評価の科学
- モデルとソフトウエア部品の再利用の科学
- クラスからタイプへ～タイプとクラスの違い
- 型理論とモデリング～contra-variance、co-varianceおよびno-variance
- Liskov置換原則と開放閉鎖原則
- 高品質と再利用のための最重要技法～継承階層設計の演繹的アプローチ
| 固定リンク
「パソコン・インターネット」カテゴリの記事
- CCCC(C AND C++CODE COUNTER)GUIランチャーの公開(2017.04.13)
- 作成したYicesのGUIからオプションを変えSMTを行う(2017.01.19)
- 『Yices』によるSMTソルバ(2017.01.18)
- 『安全性工学』『レジリエンス・エンジニアリング』と『数学的直観主義・構成主義』(2017.01.13)
- 今日の東京大学でのセミナーの整理と考察(2017.01.13)
最近のコメント