【開催レポート】長崎QDG2016 レポート ~第八回 :招待講演「形式手法と、モバイルやアジャイル」
長崎QDG2016の最後のセッションとなる招待講演は「形式手法と、モバイルやアジャイル」と題して、長崎県立大学の日下部 茂 氏にご登壇いただきました。 開発対象のトレンドの観点からAndroidアプリを対象にしたセキュリティモデルの分析での形式手法の活用、開発プロセスの観点からはアジャイルと形式手法の組み合わせによる相乗効果の追求といった事例、動向をご紹介いただきました。セッションのアブストラクトは次の通りです。 ■アブストラクト 「 形式手法なんて日々の活動とは縁遠いイメージ...