Functional Requirements in Software Development: Types and B