crash.academy(ITエンジニア向け学習＆キャリアサービス)に、今月新たに公開された講座をご紹介します。

■ソフトウェア・エンジニアリングの新しい潮流 – Deep Specificationの世界


■ 動画紹介
今回のマルレクでは、”Deep Specification” というソフトウェア・エンジニアリングの新しい潮流を紹介します。この流れは、ハードとソフトの開発に、コンピュータの数学的証明能力を利用して、プログラムの正しさをチェックしようというものです。

公開日：2020/01/23

冒頭部分は無料でご視聴いただけます。
ぜひご覧ください。