わたしたちは形式的で実行可能な意味論、 Dafny-EVM を定義しました。これはリポジトリー evm-dafny で公開しています。 Dafny-EVM の主要機能をこのセクションで紹介します。 EVM はスタックベースマシンで、計算中につかう揮発性メモリーと、トランザクション ...

綿密な計画を立てても，プロジェクト実施段階で正確な進ちょく情報を収集・分析できなければ意味がない。それを実現する代表的な管理手法が「EVM（Earned Value Management）」だ。重要な「出来高」の考え方や，EVMの各種指標の使い方，導入時の勘どころなど ...

X（旧Twitter）で共有する Facebookでシェア LinkedInでシェア URLをコピー EVMを実際のプロジェクトに適用する前に，「出来高（EV）をどのように積み上げていくのか（累積方法）」についてルールを決めることを忘れてはならない。ルールがあいまいだと ...

Ethereum ネットワークは Ethereum Virtual Machine（EVM）で支えられた分散実行環境です。 EVM はスマートコントラクト ── プログラムであり、ネットワーク上で実行される分散アプリケーション（dApps）のビジネスロジックをエンコードしたもの ── を実行します。

IT投資に関する意思決定は、プロジェクト稼働前のフェイズに限らない。そのプロジェクトを続行すべきか否か判断することも必要になる。現在進行中のプロジェクトを、コスト・スケジュール・品質の観点で評価する手法「EVM」とその支援ツールについて ...

ログインして、InfoQのすべての体験をアンロックしましょう！お気に入りの著者やトピックの最新情報を入手し、コンテンツと交流し、限定リソースをダウンロードできます。 クラウドコンピューティングの登場以降、ソフトウェア業界は大きな変革の中に ...