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

Question: Which option supports the statement:”Most web frameworks now provide AJAX support” ?

• 1. Session Management
• 2. Security
• 3. User interaction
• 4. Database support

Question: Which framework’s applications are difficult to deal with ?

• 1. MVC pattern
• 2. Web application frameworks
• 3. Debugging framework
• 4. None of the mentioned