Non-functional Requirements Verification Tool

Non-functional Requirements Verification Tool

Languages and editors to specify the objectives of the migration to allow the evaluation of the migration and guide the forward engineering process.