TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
シェルスクリプト総合 その29
Objective-C [ObjC part:9];
Google NaCl プログラミング 2mol
Java入門・初心者質問スレ Part.8
CVS導入スレ〜 Rev.3
C言語なら俺に聞け 155
プログラミングを勉強したいのだが
[無料でﾗｸﾗｸJava帳票作成] JasperReports使い集合
NullPointerExceptionを「ぬるぽ」と呼ぶスレ6
C++相談室 part148
33 ：
>>1
ダイクストラの提唱した検証を前提としたプログラミングが必要か？という
疑問であれば、これから必要だし今後はさらに重要になると断言できる
実際、24時間365日 正しく動作するバグ0の品質要求が当たり前な
組み込み開発の一部では、必須の技術要素になりつつある

ただし、ソフトウェア検証への対比としてオブジェクト指向を挙げる事に違和感がある
ソフトウェア検証とオブジェクト志向は互いに交差する概念であって対立はしない
実際、たとえば VDMにオブジェクト指向を導入したVDM++が登場しているし、
Alloy は最初からオブジェクト指向の概念を前提として設計されている

Visual Studio IDE環境
Jenkins
Swift part12
Message Passing Interface (MPI) 統合スレ
Lisp Scheme Part41
Visual Studio 2005 Part 27
関数型プログラミング言語Haskell Part31
動的言語で大規模開発
日下部陽一著 作ってわかるCプログラミング(第6版)
Android開発質問スレ
--------------------
厨房頂上決戦！奈良ＶＳ栃木
言いたいことだけ言って立ち去るスレ【257】
アホノミクス工作員の失語症治療スレ
【芸能】＜吉本興業＞日本初のエージェント契約導入へ　6000人と書面で共同確認書
@haka2017728「名護市民がムカつく」「今後、名護出身者を見かけたら、差別しイジメる。覚悟しろ」
【福井晴敏総合】ガンダムユニコーンアンチスレ120
【ミンスサポ憤死】安倍内閣支持率45%(+1) 新型コロナへの対応 評価する64% 評価しない31%　ネット「野党が桜の会やってくれてる間は安泰
早稲田だけど国公立は筑横千首未満はザコだと思ってるよ
【ハンギョレ新聞】東京で関東大震災時の朝鮮人虐殺をテーマにした演劇公演　原作者の加藤直樹氏「右翼たちは過去を消そうとしている」
【婚活男性へ】このような女だけはやめておけ【ハズレくじ】
【全国】住所晒してラーメンとか120円とか
５万円前後の３２型で一番優れてるテレビは？
【岐阜】覚醒剤使用容疑　共産党市議団団長の長男（40）を逮捕　本人から「覚醒剤を使ったので自首したい」と電話　陽性反応
阪神のクズ野球選手　タクシー乗り場でルール違反　ツイッターKで球団が謝罪 [478140236]
【HARDCORE TANO*C】WACCA 4曲目【マーベラス】
【中小型】日本中小型株投信75【含み損の行方】
【PS4/XB1】Grand Theft Auto Online 271【GTAV】
【SAGI】【豚叩き専用】ぷよぷよ!!クエスト 1146【サ終続々】
【La】The Delfonics デルフォニクス【La】
ベテランさんの恋と　ナンパ相談４
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼