Model-based specification
subject: Category:Formal methods
subject: Category:Formal specification
hypernym: Approach
description: computer science concept