adplus-dvertising
frame-decoration

Question

What kind of techniques can be used to check a requirements specification document phrased in a formal language?

a.

Natural language techniques

b.

Formal techniques

c.

Expert language techniques

d.

Application domain language techniques

Posted under Software Engineering

Answer: (b).Formal techniques Explanation:A requirements specification document phrased in a formal language may be checked using formal techniques, for instance with regard to consistency and completeness.

Engage with the Community - Add Your Comment

Confused About the Answer? Ask for Details Here.

Know the Explanation? Add it Here.

Q. What kind of techniques can be used to check a requirements specification document phrased in a formal language?

Similar Questions

Discover Related MCQs

Q. Who does the requirements specification serve?

Q. What kind of document is the best for the user?

Q. What kind of document is best for the designer?

Q. What kind of language is used if the system is described in the user's language?

Q. What language is best used for the requirements specification?

Q. What are the drawbacks of using natural language for the requirements specification according to Meyer (1985)?

Q. What is the risk of trying to be too literary in the requirements specification?

Q. What does "forward references" refer to in the context of the requirements specification?

Q. What is the goal of the requirements specification in software development?

Q. What language is best used in the requirements specification to serve the user in software development?

Q. What language is best used in the requirements specification to serve the designer in software development?

Q. What are the seven sins listed by Meyer that may beset the analyst when using natural language in a requirements specification?

Q. What is the alternative given by Meyer to the use of natural language in the requirements specification?

Q. What does the natural language description obtained after using the alternative given by Meyer represent?

Q. What are the visual clues used to distinguish different types of nodes and links in semantic networks?

Q. What is Entity--Relationship Modeling used for?

Q. What can Finite State Machines be viewed as?

Q. What does UML owe tribute to?

Q. What are UML diagrams used for?

Q. What are non-functional requirements viewed as in the development process?