Q. Which class of non-functional requirements includes the interactive features of the system?

View solution

Q. Which of the following techniques assists in deriving an architectural description from the requirements specification?

View solution

Q. What is the purpose of the "detailed design" activity in the software life cycle?

View solution

Q. How does the designer choose the best refinement of the architectural component during the detailed design?

View solution

Q. What is the purpose of the "coding and unit testing" activity in the software life cycle?

View solution

Q. What research areas have focused on automating the coding activity?

View solution

Q. What is the purpose of the "integration and testing" activity in the software life cycle?

View solution

Q. What might be required after the integration and testing phase, depending on the nature of the system?

View solution

Q. What does the maintenance activity involve in the software life cycle?

View solution

Q. What is the main purpose of validation and verification in the software life cycle?

View solution

Q. What is the distinction between validation and verification?

View solution

Q. What activities are involved in the software life cycle?

View solution

Q. What is the main purpose of architectural design in the software life cycle?

View solution

Q. Which activity in the software life cycle involves refining the component description provided by architectural design?

View solution

Q. What is the primary purpose of validation in the software life cycle?

View solution

Q. Which phase of the software life cycle involves correcting errors in the system after release and revising the system to satisfy new requirements?

View solution

Q. What is the main difference between a formal proof and a rigorous proof?

View solution

Q. What is the "formality gap" referred to in the context of validation proofs?

View solution

Q. What may dictate the extent of proofs carried out in a design project?

View solution

Q. Which type of proof is more commonly used for verification in software development?

View solution