いまだにやっぱり「形式手法とは?(きちんと聞きたい)」というくらいのニーズをぶつけて下さる産業界の方々が多いのと,かといってこういうWebサイトで読み物を提供するだけだと何とも言えないことが多いので,「実際に触ってみる」入門セミナーをやらせていただくことになりました.
詳しくはこちら.
ありきたりな入門だけではなく,ついに和訳本が出たAlloyも含めて様々な手法を俯瞰するとか,最近よく整理されているガイダンスや応用事例集を俯瞰するとか,そういうことも要望が多いのでこの機会に整理する予定です.
なお,VDM++本は明日が発売日です.Amazonで買うと数日前にフライングゲットできたとの報告を受けています.そういう方がいらっしゃったことがありがたいです.
自分は出版社から先週もらっていたので,早速秋葉原のキンコーズに持ち込んで105円できれいにばらばらにしてもらいました.初めての自炊です.最後の方の校正何往復かはずっと紙ベースだったので,完成版はファイルとしては持っていないのですよね.もちろん個人的な利用のため(ぱっと内容確認したり検索したりするため)ということで.
詳しくはこちら.
ありきたりな入門だけではなく,ついに和訳本が出たAlloyも含めて様々な手法を俯瞰するとか,最近よく整理されているガイダンスや応用事例集を俯瞰するとか,そういうことも要望が多いのでこの機会に整理する予定です.
なお,VDM++本は明日が発売日です.Amazonで買うと数日前にフライングゲットできたとの報告を受けています.そういう方がいらっしゃったことがありがたいです.
自分は出版社から先週もらっていたので,早速秋葉原のキンコーズに持ち込んで105円できれいにばらばらにしてもらいました.初めての自炊です.最後の方の校正何往復かはずっと紙ベースだったので,完成版はファイルとしては持っていないのですよね.もちろん個人的な利用のため(ぱっと内容確認したり検索したりするため)ということで.