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

Related Mcqs:

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

   A. semantic domain
   B. syntactic domain
   C. sequence
   D. set

2. Which of the following occurs often due to the bulkiness of a system specification document ?

   A. Contradictions
   B. Ambiguities
   C. Vagueness
   D. Incompleteness

3. 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

4. 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

5. In which of the following language the frameworks will not work ?

   A. C#
   B. Ruby
   C. PHP
   D. Java

6. Which of the following term is best defined by the statement:”The client sends structured query language (SQL) requests to the server which are transmitted as messages across the net” ?

   A. File servers
   B. Database servers
   C. Client servers
   D. None of the mentioned

7. _____________________ is a reuse-based approach to defining, implementing, and composing loosely coupled independent components into systems?

   A. Component-based software engineering
   B. Component composition
   C. Component model
   D. Component interfaces

8. _______________ is a way of providing functionality on a remote server with client access through a web browser?

   A. SaaS
   B. SOA
   C. Configurability
   D. Both SaaS and Configurability

9. A _______________ defines a set of standards for components, including interface standards, usage standards, and deployment standards?

   A. Component-based software engineering
   B. Component composition
   C. Component model
   D. Component interfaces

10. Which framework class include standards and classes that support component communication and information exchange?

    A. System infrastructure frameworks
    B. Middleware integration frameworks
    C. Enterprise application frameworks
    D. MVC