仕様策定段階で欠陥を洗い出す

抽象によるソフトウェア設計−Alloyではじめる形式手法−

抽象によるソフトウェア設計−Alloyではじめる形式手法−

Daniel Jackson,中島 震,今井 健男,酒井 政裕,遠藤 侑介

¥4,860

ニコニコ市場