形式仕様言語でwebはデザイン出来るのか？

正直自分の中で一番気になることであったのだが、

近代科学社の　Bメソッドによる形式仕様記述

という本にばっちりと書いてありました

まだ本自体を読み込んでないので解らないが、

ぱっと見たところかなり簡単に書かれていてびっくりした