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

Konferenzbeitrag › Konferenzpaper › 2025

Zitation

Zhang, Gefei: Viability Checking and Requirements Completion: How Constraint Programming Helps State Machines in Performance Requirements Engineering. In: Proc. Workshops 33rd IEEE Int. Requirements Engineering Conf (RE 2025). Hg. von IEEE. Valencia, Spain: 2025, S. 325--330.

DOI / URN

10.1109/REW66121.2025.00048

Sprache

Englisch

Zitieren

BibTeX / RIS