「コンピュータソフトウェア」2007年4月号
最近、日本ソフトウェア科学会の学会誌である「コンピュータソフトウェア」がおもしろいです*1。今月号はソフトウェア検証ツールの小特集で、ESC/Java2やVDMToolsなどが（もちろん日本語で）紹介されています。これらの記事も2ヶ月すればオンラインで無償公開されるのでしょうか。
P.S. 上記リンクで公開されている、初期の記事もおもしろいです（MLやKyoto Common Lispの紹介、SICPが出版された当時の書評など多数）。
最近、日本ソフトウェア科学会の学会誌である「コンピュータソフトウェア」がおもしろいです*1。今月号はソフトウェア検証ツールの小特集で、ESC/Java2やVDMToolsなどが（もちろん日本語で）紹介されています。これらの記事も2ヶ月すればオンラインで無償公開されるのでしょうか。
P.S. 上記リンクで公開されている、初期の記事もおもしろいです（MLやKyoto Common Lispの紹介、SICPが出版された当時の書評など多数）。