One of the particular sections gives certain specifications, and other sections just a view of contradictory specifications. And so we are to really check those things. Both of them can either be implemented and if we implement them we get into trouble. So we will like to see those contradictions are removed.
The other is the conflicts with the external environment. We try to provide a certain data, or a certain method of collecting the information for the system, and whereas the external environment in which this data would be collected is in conflict with the system that we are implementing. So those are the thing that must be really looking to.
The last element that I will be talking of is traceability of each element. Now, every element that we are considering in the system must come from somewhere. Whether you can trace the past and the future of any of these elements, which may be events of other elements, or the data.
