Posts tagged ‘VDM-SL’

2020/02/15

[Smalltalk] 第133回Smalltalk勉強会のお知らせ

コロナウイルス警戒のため延期とします!


2月のSmalltalk勉強会は、27日です。SRAの小田さんが、ViennaTalkの発表をされます。
http://www.smalltalk-users.jp/Home/gao-zhi/dai133kaismalltalkbenkyoukai

どこまでも動的なSmalltalkと、静的解析を重視する仕様記述言語VDM-SLは一見相容れないようですが、それらがどのように融合しているのか、注目です。

参加登録は不要です。お気軽にお越しください。ご参加お待ちしております!

2013/07/19

[Smalltalk] 第55回Smalltalk勉強会のお知らせ

7月のSmalltalk勉強会は30(火)に行われます。

http://www.smalltalk-users.jp/Home/gao-zhi/dai55kaismalltalkbenkyoukai

テーマはSOMETHINGitです。いままでも勉強会でチラチラとデモされることがありましたが、今回はじっくりと腰を据えて見ることができます。
UIの仕様を迅速に確認するために使うという応用例も、各言語の特徴をうまく活かしているようで、非常に興味深いです。

こぞってお越しください。

なお会場がいつもと違い、株式会社豆蔵となります。お間違えなきよう。