仕様策定段階で欠陥を洗い出す
抽象によるソフトウェア設計−Alloyではじめる形式手法−
Daniel Jackson,中島 震,今井 健男,酒井 政裕,遠藤 侑介
¥4,860
ニコニコ市場