Constraint Programming

Model Checking

Model-driven engineering

Natural language processing