形式的仕様記述の国際会議ICFEM2008 ― 2008年08月04日 08時19分39秒
ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
形式的仕様記述の国際会議ICFEM2008が、10月になんと北九州市の小倉であ
ります。
ウェブサイトもできています。詳しくは、
http://www.icfem2008.org/
をどうぞ。
関連情報:
http://iiyu.asablo.jp/blog/2006/08/20/491884
形式仕様記述(フォーマルメソッド、Formal Methods)
http://iiyu.asablo.jp/blog/2005/08/30/57720
荒木先生の形式仕様記述の教科書
http://iiyu.asablo.jp/blog/2007/08/06/1708469
仕様記述言語Zのテーマソングが決定
---
形式的仕様記述の国際会議ICFEM2008が、10月になんと北九州市の小倉であ
ります。
ウェブサイトもできています。詳しくは、
http://www.icfem2008.org/
をどうぞ。
関連情報:
http://iiyu.asablo.jp/blog/2006/08/20/491884
形式仕様記述(フォーマルメソッド、Formal Methods)
http://iiyu.asablo.jp/blog/2005/08/30/57720
荒木先生の形式仕様記述の教科書
http://iiyu.asablo.jp/blog/2007/08/06/1708469
仕様記述言語Zのテーマソングが決定
コメント
トラックバック
_ ホットコーナーの舞台裏 - 2008年10月04日 00時22分11秒
ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2008/08/04/3672175
IECEM2008
で、今度、北九州市の
---
http://iiyu.asablo.jp/blog/2008/08/04/3672175
IECEM2008
で、今度、北九州市の
_ ホットコーナーの舞台裏 - 2010年04月23日 07時16分17秒
ASAHIネット(http://www.asahi-net.or.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://www.amazon.co.jp/exec/obidos/ASIN/4270005769/showshotcorne-22/
数字で世界
---
http://www.amazon.co.jp/exec/obidos/ASIN/4270005769/showshotcorne-22/
数字で世界
_ ホットコーナーの舞台裏 - 2010年07月29日 05時34分27秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2010/07/29/5254538
高品質高信頼ソフトウェア開発の特
---
http://iiyu.asablo.jp/blog/2010/07/29/5254538
高品質高信頼ソフトウェア開発の特
_ ホットコーナーの舞台裏 - 2010年07月29日 05時42分23秒
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2010/07/29/5254538
高品質高信頼ソフトウェア開発の特
---
http://iiyu.asablo.jp/blog/2010/07/29/5254538
高品質高信頼ソフトウェア開発の特
コメントをどうぞ
※メールアドレスとURLの入力は必須ではありません。 入力されたメールアドレスは記事に反映されず、ブログの管理者のみが参照できます。
※なお、送られたコメントはブログの管理者が確認するまで公開されません。
※投稿には管理者が設定した質問に答える必要があります。