形式手法 の検索結果 (1,000件 1〜 10 件を表示)

形式手法(表形式)の文献を探しています

…[概要] パーナス博士が紹介している形式手法の文献を探しています。 [パーナス博士の形式手法] IPAのSECで、セミナーが実施されました。 http://sec.ipa.go.jp/seminar/2009/20090410.html です。 実際に...…

解決

google画像検索 画像が大きく表示されるようになったんですか?

…google画像検索は、 以前は、画像を含むページそのものが表示されました。 しかし今日、画像検索をかけてみると、 サムネイルで示された、画像そのものが、大きく表示されるようになっ...…

締切

勉強した知識を企業で生かしたい

…現在大学で、形式的仕様やプログラムの検証などを勉強しています。 しかし、残念ながら企業では、この手法は殆ど使われていないようです。(コスト面などに問題があるようです) 企業で...…

締切

NEW STYLE(ニュースタイル)

…結婚式の時に、こう言う言葉を貰いました 「走り続ける事は、変わり続ける事だ」とね・・ まあ、国鉄のCMからだとは思いましたけどね・・? 乗り越えていく為には変化も必要に成ってき...…

解決

構造化プログラムについて

…構造化プログラムは何か教えてください・またなぜこの 技術が使われるようになったかも知りたいです. お願いします。…

締切

「構造化プログラミングの基本的な考え方について述べなさい.また,構造化

…「構造化プログラミングの基本的な考え方について述べなさい. また,構造化プログラ ミングと関連付けて基本制御構造について説明しなさい。」という問題があるのですが、調べてると構...…

締切

プログラム脳の作り方

…プログラマーの皆様はどうやってプログラム脳を作られましたか。 今JavaとPHPの勉強をしていますが、プログラムを作るための考え方がなかなか身に付きません。 習うより慣れろという事...…

解決

C言語のGOTO文(組み込み系)

…私は組み込みでソフト開発を行っているものです。 (アセンブラでの経験は長いが、Cは短い) 基本的な質問になってしまいますがご了承ください。 C言語で"goto文は使うな、スパゲティプ...…

解決

C++BuilderやDelphiでVC++用のDLLの作成

…C++Builderの画面から新規作成からDLLウィザードを選ぶと、VC++スタイルのDLLを選択して作成できるようになっています。 VC++用のDLLを作成出来るとは書かれていません。 実際、VC++コンパイラか...…

解決

XMLファイルの編集をExcelでする方法

…既に http://okwave.jp/qa141627.html QNo.141627にて、同じ質問と回答が掲載されているのですが 紹介されているHPからツールをダウンロードすることが できませんでしたので、どなたか同様のツー...…

解決

検索で見つからないときは質問してみよう!

Q質問する(無料)

おすすめ情報

Q&A検索履歴

カテゴリ