Are you familiar with the concept of properties or qualities of requirements? Can you list them? What properties of requirements are violated in the frog task?

Properties (qualities) of requirements are characteristics that make requirements useful and effective for system development and maintenance. The main properties of requirements:

• Correctness — the requirement should accurately reflect needs and be correct.
• Completeness — all necessary aspects should be described.
• Unambiguity — the requirement should have only one interpretation.
• Verifiability — it should be possible to verify the fulfillment of the requirement.
• Feasibility — the requirement should be technically achievable.
• Consistency — requirements should not contradict each other.
• Relevance — the requirement should be important and necessary.
• Clarity — formulations should be clear and accessible.

In the task about frogs, the following properties are often violated:

• Unambiguity — formulations can be vague, causing different interpretations.
• Completeness — details necessary for implementation may be missing.
• Verifiability — it is not always clear how to verify the fulfillment of the requirement.

For example, if the task does not specify how exactly the frogs should jump or what the success conditions are, it reduces the quality of requirements and complicates development.