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

Reply to this note

Please Login to reply.

Discussion

No replies yet.