2008-05-19から1日間の記事一覧
情報処理学会から今月号が届いたので、目次をざっと。 「フォーマルメソッド」かぁ。 やっぱり今後はそっちに行くんでしょうね。業界全体として。 でもまぁspinとかそのままSEさんに渡してもきっと使ってくれない。 それはもう言い切れます。 なので、そのあ…
情報処理学会から今月号が届いたので、目次をざっと。 「フォーマルメソッド」かぁ。 やっぱり今後はそっちに行くんでしょうね。業界全体として。 でもまぁspinとかそのままSEさんに渡してもきっと使ってくれない。 それはもう言い切れます。 なので、そのあ…