記事へのコメント2

    • 注目コメント
    • 新着コメント
    zyzy
    そろそろちゃんと勉強したい

    その他
    yarumato
    “AWS内では形式手法や検証より「網羅的テストが可能な擬似コード」と呼ぶ。プログラムコードに網羅的テストは現実的に不可能。要点が絞られ実装詳細含まない擬似コードのほうが本質的問題点を抽出して有益”

    その他

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    アプリのスクリーンショット
    いまの話題をアプリでチェック!
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

    「形式手法」の“論理の力”による開発効率と品質の向上事例

    社会人エンジニア向けの教育プログラム「トップエスイー」から、エンジニアの皆さんに対して有用な情報...

    ブックマークしたユーザー

    • minamishinji2020/03/11 minamishinji
    • zyzy2019/01/25 zyzy
    • ryuzee2018/10/27 ryuzee
    • yarumato2018/10/26 yarumato
    • nishitki2018/10/25 nishitki
    • msakamoto-sf2018/10/24 msakamoto-sf
    • nabinno2018/04/08 nabinno
    • rabbit2go2017/11/11 rabbit2go
    • nokoribi2017/11/09 nokoribi
    • mohritaroh2017/11/08 mohritaroh
    • fujiikazunobu09052017/11/08 fujiikazunobu0905
    • advblog2017/11/08 advblog
    • kuenishi2017/11/08 kuenishi
    • koda32017/11/08 koda3
    • kybernetes2017/11/07 kybernetes
    • ssmtkmt2017/11/07 ssmtkmt
    • hiroyukim2017/11/07 hiroyukim
    • jinjor2017/11/07 jinjor
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    同時期にブックマークされた記事

    いま人気の記事 - 企業メディア

    企業メディアをもっと読む