ＩＴ斜め斬り〜形式手法は ソフト開発を救う！
日経ITプロフェッショナル 第40号 2005.9.1
| 掲載誌 | 日経ITプロフェッショナル 第40号（2005.9.1） |
|---|---|
| ページ数 | 1ページ （全1723字） |
| 形式 | PDFファイル形式 （173kb） |
| 雑誌掲載位置 | 12ページ目 |
今から３０年以上前，ＩＢＭウィーン研究所でディネス・ビョルナー（現デンマーク工科大学教授）が，クリフ・ジョーンズ（現英ニューカッスル大学教授）たちと，「ＰＬ／Ｉコンパイラの要求仕様をいかに正しく書くか」，「書いた要求仕様をいかに正しいと証明するか」という命題と格闘していた。上流工程で入り込んだ不具合は，下流工程になるほど除去・修正に膨大な工数が必要になる。このため，要求仕様をいかに厳密に記述する…
記事の購入（ダウンロード）
購入には会員登録が必要です 会員登録はこちら
価格 330円（税込）
他のIDで購入する
G-Search ミッケ！は雑誌を記事ごとに販売するサービスです。
この記事は「1ページ（全1723字）」です。ご購入の前に記事の内容と文字数をお確かめください。
（注）特集のトビラ、タイトルページなど、図案が中心のページもございます。
ＩＴプロフェッショナルたちへ〜間近で見た世界のトッププロたち 追いつきたい一心で勉強に励む
トラブルシューターＳＥ事件簿〜「上流工程に時間を」は正しいか？ つい“楽”を求めるＳＥ心理を知れ
特集１ 起こし〜もう「使い勝手」で悩ませない ユーザーが喜ぶ画面設計の極意
特集１ 第一部〜従来の画面設計では通用しない 機能からユーザー中心にシフトせよ
特集１ 第２部〜ユーザーの満足度をアップさせる 明日から使える７つの鉄則
