2004-11-04から1日間の記事一覧

sigfm special forum

SIGFM 形式仕様研究会 "UML-ISING" FORMAL TECHNIQUES by Dines Bjornerへ参加。Formal methodにもっと図的記法を導入しましょうというお話。東京会館で２次会。旧交を温める。