@@ -618,7 +618,7 @@ This part of the documentation discusses the developed constraints that the user
<pstyle="margin-left:10px"> "If a component is traced to a functional requirement, its interface includes the one of the requirement."</p>
</td>
<tdalign="left">
<pstyle="margin-left:10px">Constraint to ensure that every port in an interface requirement traced to a component is present in this component.
<pstyle="margin-left:10px">To ensure that every port in an interface requirement traced to a component is present in this component.
</p>
</td>
<tdalign="left">
...
...
@@ -638,7 +638,7 @@ This part of the documentation discusses the developed constraints that the user
<pstyle="margin-left:10px"> "All states are reachable"</p>
</td>
<tdalign="left">
<pstyle="margin-left:10px">Constraint to ensure that all state automata of the project have 100% state coverage (Reference: <ahref="reachability_analysis.html"> Reachability_Analysis</a>).
<pstyle="margin-left:10px">To ensure that all state automata of the project have 100% state coverage (Reference: <ahref="reachability_analysis.html"> Reachability_Analysis</a>).
</p>
</td>
<tdalign="left">
...
...
@@ -677,7 +677,7 @@ This part of the documentation discusses the developed constraints that the user
<pstyle="margin-left:10px"> "Every top-level port of the component architecture shall be defined as a signal in the requirements."</p>
</td>
<tdalign="left">
<pstyle="margin-left:10px">Constraint to ensure that every port of the top level component is defined a requirement signal.
<pstyle="margin-left:10px">To ensure that every port of the top level component is defined a requirement signal.
</p>
</td>
<tdalign="left">
...
...
@@ -697,7 +697,7 @@ This part of the documentation discusses the developed constraints that the user
<pstyle="margin-left:10px"> "All tests are successful"</p>
</td>
<tdalign="left">
<pstyle="margin-left:10px">Constraint to ensure that all tests of related to Component are successful.
<pstyle="margin-left:10px">To ensure that all tests of related to Component are successful.