トップ ＞ その他 ＞ モデル検査

モデル検査の本

モデル検査 の関連記事

北九州出張（後）： 形式手法系の会議の話
北九州では形式手法系の国際会議に１日だけ参加．この分野は教育・普及的なこともやろうとしているので，メインの目的はいろんな人と話してくることだったりします．とりあえず午前のブレイクのうちに，今書いている本にとって重要な方々とお話し． 今日は検...
組込み適塾　その８
いよいよ、適塾もラストが近いです。ちなみに明日期限のレポートが全く終わってません、困った(;´Д`)ノ9/10はウェブ工学組込みとウェブって一部を除いて関係ないじゃんって最初から講師側のぶっちゃけた意見がヽ(ﾟ◇ﾟ )ﾉ内容はHTMLやら...
CEDEC 2008（前）： お仕事の部
昨日はCEDEC 2008に参加．ゲーム開発者系の一大イベント． トップエスイー（企業開発者向け教育コース）関連のつてで，モデル検査の話をさせてもらいました．おおざっぱには「賢い総当たりテスト」であるモデル検査という技術が，他の複雑なソフト...
CEDEC 2008（前）： お仕事の部
昨日はCEDEC 2008に参加．ゲーム開発者系の一大イベント． トップエスイー（企業開発者向け教育コース）関連のつてで，モデル検査の話をさせてもらいました．おおざっぱには「賢い総当たりテスト」であるモデル検査という技術が，他の複雑なソフト...
ネコ，はぐりん，アバカム
最近まじめなことばかり書いたら，まじめすぎておもしろくないと言われたので，まじめじゃない話． 先週の休みは，ガトーマスダのアップルパイを買って，知人夫婦のお宅にお邪魔して，Wiiを振り回したりしていた． けど，最近だいぶ休日も仕事モード．と...
ネコ，はぐりん，アバカム
最近まじめなことばかり書いたら，まじめすぎておもしろくないと言われたので，まじめじゃない話． 先週の休みは，ガトーマスダのアップルパイを買って，知人夫婦のお宅にお邪魔して，Wiiを振り回したりしていた． けど，最近だいぶ休日も仕事モード．と...