● Java.use(better, Python) # Swing by VDM++ 記事一覧

Shall_we_Agile = Java.use(better, Python) # Swing by VDM++
VDM++ 形式手法への誘い：Jython 篇

《監修》小泉ひよ子とタマゴ倶楽部

改訂♪2008/09/26

VDM++ に準拠するクラスを実現しながら、VDM++ を理解するとともに、Python/Jython によるプログラミングの習得を目指します。

• index〈Python〉

→旧版は《こちら》です♪

Contents

★ 初級/入門　★★ 初級/基礎　★★★ 初級/応用　★★★★ 中級　★★★★ 上級

Pilot

• 2006/10/02《1》事例：2006 FIFA ワールドカップ★   伊藤うさぎ & 小泉ひよ子

Set

• 2006/10/03《2》Set 集合型★   河野かえる
• 2006-10-04 VDM++《3》Set に対する演算（１）
  • 関連記事
  • 集合を要素とする集合
  • 要素の帰属関係
  • 事例：演算 in
  • 演算 in を実現する
• 2006-10-05 VDM++《4》Set に対する操作（２）
  • 和集合と積集合
  • 事例：演算 union/inter
  • 演算 union および inter を実現する
  • 自己紹介する関数オブジェクト
  • 演算の型を規定する
• 2006-10-06 VDM++《5》Set に対する操作（３）
  • 差集合
  • 事例：演算 ￥
  • 演算 ￥ を実現する
  • 交換法則/結合法則は成立するか

• 2006/10/09《6》Set に対する演算（４）★   河野かえる
• 2006/10/10《7》Set に対する演算（５）★   河野かえる
• 2006/10/11《8》Set に対する演算（６）★   河野かえる
• 2006/10/12《9》Set に対する演算（７）★   河野かえる
• 2006/10/13《10》全称 ★ 伊藤うさぎ

Seq

• 2006/10/16《11》Seq に対する演算（１）★   伊藤うさぎ
• 2006/10/17《12》Seq に対する演算（２）★   河野めだか
• 2006/10/18《13》Seq に対する演算（３）★   伊藤うさぎ
• 2006/10/19《14》Seq に対する演算（４）★   河野めだか
• 2006/10/20《15》--改訂中-- 伊藤うさぎ

Map

• 2006-10-23 VDM++《16》Map に対する演算（１）
  • 定義域と値域
  • 事例：演算 dom
  • 事例：演算 rng
  • 演算 dom/rng を実現する
• 2006-10-24 VDM++《17》Map に対する演算（２）
  • 写像の併合
  • 事例：演算 munion
  • 演算 munion を実現する
  • 事例：演算 ++
  • 演算 ++ を実現する
  • 事例：演算 merge
  • 演算 merge を実現する
• 2006-10-25 VDM++《18》Map に対する演算（３）
  • 定義域と値域の限定
  • 事例：演算 <:
  • 事例：演算 <-:
  • 事例：演算 :>
  • 事例：演算 :->
  • 演算 <: および <-: を実現する
  • 演算 :> および :-> を実現する
• 2006-10-26 VDM++《19》Map に対する演算（４）
  • 写像の適用
  • 事例：演算 ()
  • 演算 () を実現する
  • 事例：演算 comp
  • 演算 comp を実現する
  • 事例：演算 **
  • 演算 ** を実現する

Appendix

• 2006/10/27《20》対応表 VDM++/Python/OCL ★   伊藤うさぎ