Viability Checking and Requirements Completion: How Constraint Programming Helps State Machines in Performance Requirements Engineering.

Gefei Zhang

Browse the full RE paper archive.