Vincoli e non-obiettivi nelle specifiche di un'app che prevengono il rifacimento | Koder.ai