Requirements should be changed to user requirements, role requirements, etc.
Requirement 1
User: User is an entity in the System (Add links to the formal spec)
Email: Email is an entity in the System
Requirement 2
Each user has an Email
Formal Requirements Spec
Entities:
User: ENTITY ---> referred to requirement1 (Add links to requirements)
Email: ENTITY ---> referred to requirement1
email: User > Email! ---> referred to requirement2
Requirement 1
Requirement 2
Formal Requirements Spec Entities: User: ENTITY ---> referred to requirement1 (Add links to requirements) Email: ENTITY ---> referred to requirement1 email: User > Email! ---> referred to requirement2