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

• 1. Multi-tier client–server architecture
• 2. Master-slave architecture
• 3. Distributed component architecture
• 4. Peer-to-peer architecture

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

• 1. providing frameworks
• 2. verifying systems
• 3. provide investors
• 4. both providing frameworks and verifying systems

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

• 1. Contradictions
• 2. Post-condition
• 3. Vagueness
• 4. None of the mentioned

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

• 1. semantic domain
• 2. syntactic domain
• 3. sequence
• 4. set

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

• 1. Expert training
• 2. Consulting
• 3. Prerequisite knowledge
• 4. Both Expert training and Consulting

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

• 1. semantic domain
• 2. syntactic domain
• 3. sequence
• 4. set

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

• 1. CMM
• 2. ISO-9001
• 3. CASE tools
• 4. Formal methods

Question: Which of the following occurs often due to the bulkiness of a system specification document ?

• 1. Contradictions
• 2. Ambiguities
• 3. Vagueness
• 4. Incompleteness

Question: ________________________ are statements that can be interpreted in a number of ways?

• 1. Contradictions
• 2. Ambiguities
• 3. Vagueness
• 4. Comments

Question: Frameworks are an effective approach to reuse, but are _____________ to introduce into software development processes.

• 1. difficult
• 2. expensive
• 3. unreliable
• 4. difficult and expensive