2008-05-03から1日間の記事一覧
少し前に関わりかけていた案件で、人命に関わることなのでフォーマルメソッド(wikipedia:形式手法)を使った方がいいかなと思ったことがあって、意識の片隅にはあったんですが、「「拒否反応」がなくなり実用段階に入った「フォーマルメソッド」:ITPro」とい…
少し前に関わりかけていた案件で、人命に関わることなのでフォーマルメソッド(wikipedia:形式手法)を使った方がいいかなと思ったことがあって、意識の片隅にはあったんですが、「「拒否反応」がなくなり実用段階に入った「フォーマルメソッド」:ITPro」とい…