ひょんなことから知ったのですが、「モデル検査によるソフトウェアテストの実践研究会」という団体が 「実践！ソフトウェアモデル検査」 というサイトを作っていたんですね。モデル検査というとついつい理論的な研究が先行しがちですが、ここでは名前通り実…

明日からお盆明けまで代休消化で長期休暇を頂きました。半月もの休みは学生時分以来です。まずは土曜日のLLイベントを楽しみにしつつ。