xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ Weblog ＴｏｐＳＥの２０１０年、２００９年の講義が、 edubase Stream http://stream.edubase.jp/packages にあるらしい。 ＢメソッドとＶＤＭは、「形式仕様記述（基礎編）(2010年度)」 ＳＰＩＮは 「設計モデル検証（基礎編）（2010年度）」 にあると思う。 上記のページを下にスクロールすると、エンピリカルとかもある。 ちなみに、人気講師Ｎｏ１（＾＾）の磯部先生の、 「並行システムの検証と実装」は、 ＧｏｏｇｌｅのＧｏなんかで採用されている並行処理モデルの ＣＳＰや、検証ツールＦＤＲ，ＪＣＳＰのお話。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2Fcb161e72f88fa591272e0baa1bd00c37" title="BメソッドとかＶＤＭとかＳＰＩＮとか、エンピリカルとかのビデオがあるページ - ウィリアムのいたずらの、まちあるき、たべあるきーPART2" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-11-15 12:33:35 rich https://xmldtp.hatenadiary.org/entry/cb161e72f88fa591272e0baa1bd00c37 1.0 100%