AWSでの形式手法の利用 | MaruLabo

2020/05/05 マルレク「AWSでの形式手法の利用」概要 今回のマルレクのテーマは、「AWSでの形式手法の利用」です。 この間、 形式手法を開発者に広めたいと思って、いろいろ試行錯誤をしてきたのですが、開発者にとって形式手法が身近なものに感じられていないことが大きなネックだと感じていました。今回のマルレクは、多くの開発者にとってはとても身近なAWSでの形式手法の「応用事例紹介」です。 セミナーの第一部では、2011年から始まっていたというAWSの形式手法導入の取り組みを紹介します。S3, ESB, EC2,….といったAWSの代表的なサービスの多くの設計に形式手法が用いられています。 また第一部の後半では、AWSでの現在の形式手法導入の取り組みが、それによってクラウドの安全性を担保するという、クラウド・セキュリティの中心環として位置付けられていることを紹介したいと思います。 AWSで