拝啓、サカモトと申します。

Feedback

# re: フォーマルメソッド・・・？ 2008/03/11 11:21 シャノン

檜山さんあたりに聞くと教えてくれそうな気がします。
でも聞くかどうかは檜山さんのサイトやBlogをざっと見てからにした方がいいと思います。

http://www.chimaira.org/
http://d.hatena.ne.jp/m-hiyama/

# re: フォーマルメソッド・・・？ 2008/03/11 17:45 さかもと

>シャノンさん

代理でお願いできませんでしょうか？

# re: フォーマルメソッド・・・？ 2008/03/11 17:48 シャノン

むしろ俺がお願いしたいｗｗ

# re: フォーマルメソッド・・・？ 2008/03/11 21:12 かずくん

極端なこと言うと、

「仕様書喰わせりゃソースコード吐いてくれる機械のための、仕様書の書き方」
そんなイメージでいいんじゃないの？

条件も厳密に定義するので、テスト仕様書ぐらいも吐いてくれるかもしれないね。

とりあえず、イメージはつかめたと思うので、檜山さんにアタックチャンス！！！

...ちなみに、やんないよ。おいらは。

# re: フォーマルメソッド・・・？ 2008/03/11 22:51 シャノン

> 「仕様書喰わせりゃソースコード吐いてくれる機械のための、仕様書の書き方」

それを書く手間とコードを書く手間と、どっちが安いか疑問に思っちゃいます。

# re: フォーマルメソッド・・・？ 2008/03/12 16:48 さかもと

>かずくんさん
>シャノンさん

話が私には難しくなって来ました。

なのでどちらか一方にアタックしてもらいたいと思います。

タイトル		タイトルを入力してください
名前		名前を入力してください
Url
コメント  コメントを入力してください
名前をブラウザに記憶する