おめぇら、形式的仕様記述について知ってる事を書け
■ このスレッドは過去ログ倉庫に格納されています
0001素人な部外者
NGNGプログラムやプロトコルの仕様の、
フォーマルな記述方法っていくつかありますが、
どれくらい有効なんでしょうか？
形式的仕様記述を有効活用するには、
どんな知識が必要なんでしょうか？
おめぇーら、知っていることを書け！
0331デフォルトの名無しさん
NGNG論理学って、数理論理学以外は文系に分類されちまうらしいね。
それから、大学が、クリエイティビティを促進するか、阻害するか、は一概には決められないと思うよ。
そーゆーこと言う人って、いったいどこの学部/学科出身なんだろうね？情報系〜工学系？ｗ
>>330
UMLは、UML1.1以降のOCL込みで、形式仕様記述であろうとした、って感じだと。
0332デフォルトの名無しさん
NGNGいや、最近は文系でも数理論理学を教えてたりするよ。
大学がクリエイティビティを阻害するとは思わないけど
積極的に促進するって感じでもないでしょ。
もちろん、例外はいくらもあると思うよ。
そういうところにはがんばってほしいよね。
ちなみに漏れは理工系学部の情報系学科出身。
やってきたのは理論臭いことばっか。
だから漏れの見方も偏見に満ちてる。ｗ
0333デフォルトの名無しさん
NGNGそして、ExecutableUML〜MDA〜UML2.0で、ツールが自動コード生成するための、
グラフィカル・モデリング言語になったとさｗ
めでたしめでたし
0334フォーマリズムage
NGNG昼飯用に調理された弁当を、23時に食べても安全であるか否かという
前世紀初等に提出された有名な未解決問題。
0335デフォルトの名無しさん
NGNGセキュリティエンジニアリング
ソフトウェア開発者向けのページ
2. セキュアプロトコルと相互運用可能性確保
http://www.ipa.go.jp/security/awareness/vendor/software.html#2
0336デフォルトの名無しさん
NGNGあそこは結構腐ったネタを、文献調査してあとはせいぜいデモ・システム作って
研究と称してる感じがあるから、パスしときたいな。
いまどき、○×総研程度の連中ですら、
「検索エンジン使って情報集めるようなのは研究とは呼べない」だってさ。
連中がWebCrawlの研究開発に貢献した、という噂は一切聞いた事ないんだけどｗ
0337デフォルトの名無しさん
NGNG■ このスレッドは過去ログ倉庫に格納されています