Project Description

Harvest business rules from documentation of a traffic management system. Goal is to re-design all business rules in a form that is declarative and easily understood by the business. Design a methodology to translate informal business specifications to formal rules. Important is that the formal business rules can be subject to a quality check and that a trace between informal specifications, formal specifications and implementation is always available.,Ministry of Transport