2012年5月の記事

ESEC2012

先週、ESECに行ってきました。 ちょっと形式手法について気になっていたので、専門(=有料)セミナーを受講したのですが、ちょっと面白い話を聞けました。

MATLABプログラミング Simulink基礎編(4)

MATLABプログラミング Simulink基礎編4回目です。 これまでは、対象となるモデルやブロックの名前が分かっている状態で、それらのパラメータを読み書きしていました。 しかしたとえば、「モデルの中にあるConstantブロックの値をすべて列挙したい」というような場合はどうでしょう。そもそもモデル中のどこにConstantブロックがあるのか?すらわかっていない状況では、パラメータを読み込むど