AWSのVP兼チーフエバンジェリストJeff Barrが「次世代ソフトウェア開発」と題して、AI技術と従来の開発手法の融合による業界の進化を紹介します。Amazon Q Developを利用することで、AIによるコーディング支援の可能性を実証すると共に、形式検証と自動推論の重要性を紹介します。

人間の開発者が中心的役割を保ちながら、新しいテクノロジーを活用していく未来像を提示します。

In his presentation titled "Next-Generation Software Development," AWS VP & Chief Evangelist Jeff Barr introduces the industry's evolution through the integration of AI technologies and traditional development practices.

Using Amazon Q Developer, he demonstrates the potential of AI-powered coding assistance while introducing the importance of formal verification and automated reasoning. He presents a future vision where human developers maintain their central role while leveraging new technologies