プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
ソフトウェア開発プロジェクトをとりまく６つの誤解〜プログラミングを経験しないとわからないこと | Social Change!
続きを書きました → 伝えなければ伝わらないという当たり前の話 ソフトウェア開発に関する相談を受ける中で、どうもソフトウェアというものの特性について誤解をされているな、という思いを持つことがあります。 そうした場合、聞いてみるとプログラミングの経験が無かったり、殆どプログラミングには携わったことがないという方が多いです。 ソフトウェアを開発しようとするならば、ソフトウェアという特性をよく知った上で、プロジェクトは運営した方が良いし、うまくいくはずです。そしてソフトウェアならではの特徴を知るのに、プログラミングの経験はとても重要です。 この記事では、プログラミング経験の無い方が陥ってしまいがちな、ソフトウェア開発にまつわる誤解について考えてみました。 Harry Potter is Ready for Divination / weekbeforenext 誤解：既にあるソフトウェアを流用し
見積もり・発注 - 技術情報Wiki
発注／調達 † 値切ってはいけない 2009.3.6 確かに，プロジェクトには予算が決められており，その予算の枠内でやり遂げる必要がある。どうしても予算と見積もり金額が合わない場合には，入念に価格交渉を行い，発注者と受注者の双方が金額の妥当性について合意した上で確定させるべきなのだ。 そのためには，PMは出てきた見積もりを査定する能力が必要であり，かつ高い折衝能力が必要である。 はじめてのRFP 2008.2.4 調達用語 RFP,SLCP,SPAとか ＲＦＰ（Request For Proposal：提案依頼書） ＳＬＣＰ−ＪＣＰ９８：Software Life Cycle Process - Japan Common Frame 1998 ＳＰＡ（Software Process Assessment）
成熟するとシンプルになる - レジデント初期研修用資料
技術が成熟する、ということは、求められる機能が、デザインへと包埋されていく過程なんだろうと思う。 ベテランは無造作に切る 熟練した外科医は、腕を上げるほどに、あたかもそれが簡単なものであるかのようにメスを動かして、 臓器を無造作に切っていくようにみえる。動作はたしかに簡単そうなんだけれど、 「じゃあ同じことをしてごらん」なんて言われても、簡単そうなのに、絶対に再現できない。 内視鏡の大家は、やっぱり簡単そうに、内視鏡を操作する。 上手な人の内視鏡は、最初からそれが当然であるかのように、 カメラはまっすぐ、目標に近づいていく。これを見るのとやるのとでは大違いで、 胃の「地形」はすごく複雑だから、まっすぐ進むのは難しいし、 そもそも自分がどこにいるのか、カメラを始めたばっかりの頃は、胃の中で道に迷ったりする。 手を動かすのは疲れる。手の動かしかたは、だからなるべく疲れないように、 同じ結果を出
ウノウラボ Unoh Labs: 見ないと損する ソフトウェアテスト関連サイト色々
こんにちは！やまもと＠テスト番長です。 今回は自分が普段チェックしている、ソフトウェアテスト系のサイトを色々ご紹介してみようと思います。既にご存知のサイトもあるかと思いますが、宜しくお付き合いください。 swtest.jp/wiki http://www.swtest.jp/wiki/index.php?swtest.jp/wiki 最近wiki化され、情報更新が活発になっています。必見です。 StickyMinds.com http://www.stickyminds.com/ コラムなどの読み物が充実しています。 Google Testing Blog http://googletesting.blogspot.com/ グーグルのテストチームのブログです。面白くないはずがありません。 Open source software testing tools http://www.
多くの人が知らないが知っておくべきフリーウェアTOP10『Top 10 Freeware Software Nobody Knows About - But Should』 | CREAMU
Web 多くの人が知らないが知っておくべきフリーウェアTOP10『Top 10 Freeware Software Nobody Knows About – But Should』 便利なソフトを探している。 そんなあなたにおすすめなのが、『Top 10 Freeware Software Nobody Knows About – But Should』。多くの人が知らないが知っておくべきフリーウェアTOP10だ。 以下にご紹介。 » AutoHotkey キーストロークを自動化するスクリプトが書ける » MusikCube iTuneライクなミュージックプレイヤー » ImgBurn ディスクからイメージファイルを作成しディスクに焼けるソフトウェア » Blender Pixarが作った素晴らしいCGI映画のようなグラフィックを作成できる » Snipping Tool Vistaに入っ
ソフトウェア品質 - Wikipedia
出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。（2019年8月） ソフトウェア品質（ソフトウェアひんしつ、英: Software quality）は、ソフトウェアの品質を指し、プログラマの観点からはソースコードの品質、エンドユーザーの観点からはアプリケーションソフトウェアの品質を意味する。 ソフトウェア品質の定義は様々である。ジェラルド・ワインバーグは著書 Quality Software Management: Systems Thinking v. 1 で「品質とは誰かにとっての価値である」と書いている。この定義は品質が本来主観的なものであることを強調している。同じソフトウェアであっても人によって品質の感じ方は全く異なる。この定義の利点は、ソフトウェア開発チームに「このソフトウェアは誰のために作っている
定期的に実行しておきたい無料のHDD診断ツール『HD Tune』 | POP*POP
HDDは消耗品・・・そうわかってはいてもクラッシュは怖いものです。 いざというときのために定期的にHDDの診断はしておいたほうがよいでしょう。 というわけで今回は無料の診断ツール、HD Tuneをご紹介。 詳しい使い方は以下からどうぞ。 ↑ ベンチマーク中。何度か実行しておけば異常が起きたときにわかりますね。 ↑ HDDの詳細な情報もチェックできます。 ↑ エラーチェック。不良セクタの有無を調べてくれます。 ↑ タスクに常駐してくれます。HDDの温度をいつでもモニターできますね。 頻繁に使うものでもないですが、知っておくと便利ですね。ダウンロード＆詳細は以下よりどうぞ。 » HD Tune website
swimmie ―オンラインブックマーク共有プラグイン―
swimmie 0.5.5以前のバージョンは、サービス提供を終了いたしました。 お客様には、ご迷惑をお掛けしてしまい大変申し訳ございません。 swimmie1.0.0以降のバージョンについては、http://swimmie.jp/ より ご利用頂くことが可能です。（2007年7月末より人数限定で公開中）
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Windows上にテスト環境を作ってくれる『SandBoxie』 | 100SHIKI