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

X（旧Twitter）で共有する Facebookでシェア LinkedInでシェア URLをコピー 綿密な計画を立てても，プロジェクト実施段階で正確な進ちょく情報を収集・分析できなければ意味がない。それを実現する代表的な管理手法が「EVM（Earned Value Management）」だ。本稿では2回 ...

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

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

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