.連載: Shall_we_Agile = Java.use(better, Python) # Swing by VDM++

2007年12月 1日 (土)

`Shall_we_Agile = Java.use(better, Python) # Swing by VDM++

------------ 序 ------------

この連載では、UML/OCL に飽き足らず、ソフトウェアテストに頼ることなく、信頼性のあるシステム開発、高品質のソフトウェア開発を目指す「プロ」グラマーのために、VDM++ による形式手法への扉を開きます。VDM++ に準拠するクラスライブラリーを作成する過程を通して、Python によるオブジェクト指向プログラミングへの理解を深めます。

【目次】読み込みに時間が掛かるときには、以下を選択してください。
〔Python/VDM++ 入門〕Shall_we_Agile = Java.use(better, Python) # Swing by VDM++

------------ 本文 ------------

| | コメント (0) | トラックバック (0)

2007年6月24日 (日)

♪ Shall_we_Agile = Java.use(better, Python) # Swing by VDM++

------------ 序 ------------

この連載では、UML/OCL に飽き足らず、ソフトウェアテストに頼ることなく、信頼性のあるシステム開発、高品質のソフトウェア開発を目指す「プロ」グラマーのために、VDM++ による形式手法への扉を開きます。VDM++ に準拠するクラスライブラリーを作成する過程を通して、Python によるオブジェクト指向プログラミングへの理解を深めます。

【目次】
〔Python/VDM++ 入門〕Shall_we_Agile = Java.use(better, Python) # Swing by VDM++

------------ 本文 ------------

続きを読む "♪ Shall_we_Agile = Java.use(better, Python) # Swing by VDM++"

| | コメント (0) | トラックバック (0)

2006年10月27日 (金)

Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《20》対応表 VDM++/Python/OCL

------------ 序 ------------

こで公開している記事は「キーワード検索」を利用するための便宜的なものです。詳細は、正式版(リッチテキストフォーマット)をダウンロードしてご覧ください。

Macintosh (Mac OS X 10.4 以降の) ユーザーのみなさんは

Java によるシステム開発を加速するだけでなく、厳密な要求仕様を精確に反映させる術を導入すべく、VDM++ に準拠するクラスを実現します。VDM++ で記述された要求仕様を理解するとともに、Python/Jython によるプログラミングの習得を目指します。

【目次】
〔Python/VDM++ 入門〕Shall_we_Agile = Java.use(better, Python) # Swing by VDM++

------------ 本文 ------------

続きを読む "Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《20》対応表 VDM++/Python/OCL"

| | コメント (0) | トラックバック (0)

2006年10月26日 (木)

Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《19》Map に対する演算(4)

------------ 序 ------------

こで公開している記事は「キーワード検索」を利用するための便宜的なものです。詳細は、正式版(リッチテキストフォーマット )をダウンロードしてご覧ください。

Macintosh (Mac OS X 10.4 以降の) ユーザーのみなさんは

Java によるシステム開発を加速するだけでなく、厳密な要求仕様を精確に反映させる術を導入すべく、VDM++ に準拠するクラスを実現します。VDM++ で記述された要求仕様を理解するとともに、Python/Jython によるプログラミングの習得を目指します。

【目次】
〔Python/VDM++ 入門〕Shall_we_Agile = Java.use(better, Python) # Swing by VDM++

------------ 本文 ------------

続きを読む " Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《19》Map に対する演算(4)"

| | コメント (0) | トラックバック (0)

2006年10月25日 (水)

Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《18》Map に対する演算(3)

------------ 序 ------------

こで公開している記事は「キーワード検索」を利用するための便宜的なものです。詳細は、正式版(リッチテキストフォーマット )をダウンロードしてご覧ください。

Macintosh (Mac OS X 10.4 以降の) ユーザーのみなさんは

Java によるシステム開発を加速するだけでなく、厳密な要求仕様を精確に反映させる術を導入すべく、VDM++ に準拠するクラスを実現します。VDM++ で記述された要求仕様を理解するとともに、Python/Jython によるプログラミングの習得を目指します。

【目次】
〔Python/VDM++ 入門〕Shall_we_Agile = Java.use(better, Python) # Swing by VDM++

------------ 本文 ------------

続きを読む " Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《18》Map に対する演算(3)"

| | コメント (0) | トラックバック (0)

2006年10月24日 (火)

Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《17》Map に対する演算(2)

------------ 序 ------------

こで公開している記事は「キーワード検索」を利用するための便宜的なものです。詳細は、正式版(リッチテキストフォーマット)をダウンロードしてご覧ください。 

Java によるシステム開発を加速するだけでなく、厳密な要求仕様を精確に反映させる術を導入すべく、VDM++ に準拠するクラスを実現します。VDM++ で記述された要求仕様を理解するとともに、Python/Jython によるプログラミングの習得を目指します。

【目次】
〔Python/VDM++ 入門〕Shall_we_Agile = Java.use(better, Python) # Swing by VDM++

------------ 本文 ------------

続きを読む "Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《17》Map に対する演算(2)"

| | コメント (0) | トラックバック (0)

2006年10月23日 (月)

Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《16》Map に対する演算(1)

------------ 序 ------------

こで公開している記事は「キーワード検索」を利用するための便宜的なものです。詳細は、正式版(リッチテキストフォーマット)をダウンロードしてご覧ください。

Macintosh (Mac OS X 10.4 以降の) ユーザーのみなさんは

Java によるシステム開発を加速するだけでなく、厳密な要求仕様を精確に反映させる術を導入すべく、VDM++ に準拠するクラスを実現します。VDM++ で記述された要求仕様を理解するとともに、Python/Jython によるプログラミングの習得を目指します。

【目次】
〔Python/VDM++ 入門〕Shall_we_Agile = Java.use(better, Python) # Swing by VDM++

------------ 本文 ------------

続きを読む "Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《16》Map に対する演算(1)"

| | コメント (0) | トラックバック (2)

2006年10月19日 (木)

Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《14》Seq に対する演算(4)

------------ 序 ------------

こで公開している記事は「キーワード検索」を利用するための便宜的なものです。詳細は、正式版(リッチテキストフォーマット )をダウンロードしてご覧ください。

Macintosh (Mac OS X 10.4 以降の) ユーザーのみなさんは

Java によるシステム開発を加速するだけでなく、厳密な要求仕様を精確に反映させる術を導入すべく、VDM++ に準拠するクラスを実現します。VDM++ で記述された要求仕様を理解するとともに、Python/Jython によるプログラミングの習得を目指します。

【目次】
〔Python/VDM++ 入門〕Shall_we_Agile = Java.use(better, Python) # Swing by VDM++

------------ 本文 ------------

続きを読む "Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《14》Seq に対する演算(4)"

| | コメント (0) | トラックバック (0)

2006年10月18日 (水)

Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《13》Seq に対する演算(3)

------------ 序 ------------

こで公開している記事は「キーワード検索」を利用するための便宜的なものです。詳細は、正式版(リッチテキストフォーマット)をダウンロードしてご覧ください。

Macintosh (Mac OS X 10.4 以降の) ユーザーのみなさんは

Java によるシステム開発を加速するだけでなく、厳密な要求仕様を精確に反映させる術を導入すべく、VDM++ に準拠するクラスを実現します。VDM++ で記述された要求仕様を理解するとともに、Python/Jython によるプログラミングの習得を目指します。

【目次】
〔Python/VDM++ 入門〕Shall_we_Agile = Java.use(better, Python) # Swing by VDM++

------------ 本文 ------------

続きを読む "Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《13》Seq に対する演算(3)"

| | コメント (0) | トラックバック (0)

2006年10月17日 (火)

Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《12》Seq に対する演算(2)

------------ 序 ------------

こで公開している記事は「キーワード検索」を利用するための便宜的なものです。詳細は、正式版(リッチテキストフォーマット )をダウンロードしてご覧ください。

Macintosh (Mac OS X 10.4 以降の) ユーザーのみなさんは

Java によるシステム開発を加速するだけでなく、厳密な要求仕様を精確に反映させる術を導入すべく、VDM++ に準拠するクラスを実現します。VDM++ で記述された要求仕様を理解するとともに、Python/Jython によるプログラミングの習得を目指します。

【目次】
〔Python/VDM++ 入門〕Shall_we_Agile = Java.use(better, Python) # Swing by VDM++

------------ 本文 ------------

続きを読む "Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《12》Seq に対する演算(2)"

| | コメント (0) | トラックバック (0)