2019/9/24 マルレク 概要:https://deep-spec.peatix.com/ 資料ダウンロード:http://bit.ly/2muEmcl 資料viewer 「はじめに」から 小論の目的は、ソフトウェア・エンジニアリングの領域で起きている “Deep Specification” という新しい流れをIT技術者に紹介することである。 第一部では、ソフトウェア・エンジニアリング見直しの背景として、現在の大規模システムの開発がはらむ問題をいくつかとりあげた。 現代では、ITシステムは、社会のあらゆる領域に深く浸透している。大規模システムの開発が、明示的にせよ潜在的にせよかかえる問題が、「バグのない安全なITシステムを社会に提供する」という点で、大きな弱点となる可能性はあると筆者は考えている。セキュリティに関心を持つIT技術者は多いと思う。”Deep Specification”