Content deleted Content added
m Reverted edits by ScottTheWoz69 (talk): nonconstructive edits (HG) (3.4.12) |
m "Improved grammar and readability: clarified phrasing, replaced passive construction with active voice, and split the sentence for better flow and comprehension. |
||
Line 76:
=== Requirements integration ===
Once the set of requirements is formalized as individual requirement behavior trees, two joint properties of systems and requirements need to be exploited in order to proceed with composing the integrated behavior tree:
* In general, a fragment of behavior
* If the requirement is really part of the system, then some other requirement in the set must establish the precondition needed in (1).
|