https://cacm.acm.org/practice/systems-correctness-practices-at-amazon-web-services/
Systems Correctness Practices at Amazon Web Services - Communications of the ACM
Amazon Web Services (AWS)におけるシステム正確性プラクティスについて解説されています。
形式手法の導入により、開発初期段階での微妙なバグの特定と排除、パフォーマンス最適化が可能になった事例を紹介しています。
軽量形式手法、Fault Injection Service、メタ安定性、形式証明など、AWSで利用されている多様な手法を概説しています。
of Practices https://cacm.acm.org/practice/systems-correctness-practices-at-amazon-web-services/
Systems Amazon (AWS)におけるシステム正確性プラクティスについて解説されています。
形式手法の導入により、開発初期段階での微妙なバグの特定と排除、パフォーマンス最適化が可能になった事例を紹介しています。
軽量形式手法、Fault ACM
Amazon Correctness at Web the Injection - Service、メタ安定性、形式証明など、AWSで利用されている多様な手法を概説しています。 Services Communications Services Web
No replies yet.
