Which of the following provides a concise, unambiguous, and consistent method for documenting system requirements ?

A. Cmm
B. Iso-9001
C. Case tools
D. Formal methods

The ________________ of a specification language indicates how the language represents system requirements?

A. Semantic domain
B. Syntactic domain
C. Sequence
D. Set

Which of the following is essential for success, when formal methods are used for the first time ?

A. Expert training
B. Consulting
C. Prerequisite knowledge
D. Both expert training and consulting

The _______________ of a formal specification language is often based on a syntax that is derived from standard set theory notation and predicate calculus ?

A. Semantic domain
B. Syntactic domain
C. Sequence
D. Set

What defines the circumstances in which a particular operation is valid ?

A. Contradictions
B. Post-condition
C. Vagueness
D. None of the mentioned

Which of the following option is not provided by formal methods ?

A. Providing frameworks
B. Verifying systems
C. Provide investors
D. Both providing frameworks and verifying systems

Which architecture decentralized architectures in which there are no distinguished clients and servers ?

A. Multi-tier client–server architecture
B. Master-slave architecture
C. Distributed component architecture
D. Peer-to-peer architecture

Which of the following is a way of making a statement about the elements of a set that is true for every member of the set ?

A. Set
B. Sequence
C. Universal quantification
D. Both set and sequence

Which architecture are reliant on middle-ware ?

A. Multi-tier client–server architecture
B. Master-slave architecture
C. Distributed component architecture
D. Peer-to-peer architecture

________________ depend on there being a clear separation between the presentation of information and the computations that create and process that information?

A. Master-slave architectures
B. Client–server systems
C. Two-tier client–server architecture
D. Both master-slave architectures and client–server systems