Select the disadvantage of using Formal methods
A. Concurrent systems can be analysed to discover race conditions that might lead to deadlock
B. Producing a mathematical specification requires a detailed analysis of the requirements
C. They require the use of specialised notations that cannot be understood by domain experts
D. All of the mentioned
Answer: Option C
This Question Belongs to Computer Science >> Software Engineering
Which of the following is not a phase of the Software Development Life Cycle (SDLC)?
A. Planning
B. Analysis
C. Testing
D. Maintenance
What does UML stand for in software engineering?
A. Unified Modeling Language
B. Universal Modeling Language
C. Unique Modeling Language
D. Unified Management Language
Which software development model is also known as the linear-sequential life cycle model?
A. Agile
B. Waterfall
C. Spiral
D. RAD (Rapid Application Development)
In which phase of the SDLC is the feasibility study conducted?
A. Planning
B. Design
C. Implementation
D. Maintenance
Join The Discussion