Model-based specification
computer science concept