adplus-dvertising
frame-decoration

Question

What research areas have focused on automating the coding activity?

a.

Automation of tests from the detailed design.

b.

Automation of component integration into the system.

c.

Formal methods for the transformation from detailed design to implementation.

d.

Practical work for generating tests from output of earlier activities.

Answer: (c).Formal methods for the transformation from detailed design to implementation. Explanation:Formal methods have focused on automating the transformation from the detailed design to the implementation, operating under the hypothesis that it should be possible to automate the process entirely.

Engage with the Community - Add Your Comment

Confused About the Answer? Ask for Details Here.

Know the Explanation? Add it Here.

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

Similar Questions

Discover Related MCQs

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

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

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

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

Q. What is the distinction between validation and verification?

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

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

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

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

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

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

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

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

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

Q. What does the "formality gap" imply for the validation of interactive systems?

Q. How can the confidence in subjective proof be increased during validation?

Q. What is the importance of design notations in narrowing the formality gap for validation?

Q. In the context of software development, why are managerial issues of design important?

Q. What is the distinction between the technical perspective and the managerial perspective of the software life cycle?

Q. What does signing off on a requirements specification indicate?