A. providing frameworks
B. verifying systems
C. provide investors
D. both providing frameworks and verifying systems
Explanation: A method is formal if it has a sound mathematical basis, typically given by a formal specification language
Related Mcqs:
- 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 - Which option supports the statement:”Most web frameworks now provide AJAX support” ?
A. Session Management
B. Security
C. User interaction
D. Database support - “A client is assigned all user presentation tasks and the processes associated with data entry”.Which option supports the client’s situation ?
A. Distributed logic
B. Distributed presentation
C. Remote presentation
D. All of the mentioned - Which of the following services is not provided by an object ?
A. Activating & Deactivating Objects
B. Security features
C. Files implementing the entities identified within the ERD
D. Registering object implementation - Which of the following presentation is explained in the following statement:”An extension of the distributed presentation approach, primary database and application logic remain on the server, and data sent by the server is used by the client to prepare the user presentation ” ?
A. Local Presentation
B. Distributed presentation
C. Remote presentation
D. All of the mentioned - Which of the following concerns best suits the following statement:”Internet banking system includes new customer requirements, account Requirements, customer management requirements, security requirements, recovery requirements etc.” ?
A. Functional concerns
B. Quality of service concerns
C. System concerns
D. Cross-cutting concerns - Which of the following is a feature of CBSE ?
A. It increases quality
B. CBSE shortens delivery time
C. CBSE increases productivity
D. All of the mentioned - Which of the following Cleanroom process teams develops set of statistical test to exercise software after development ?
A. Specification team
B. Development team
C. Certification team
D. All of the mentioned - 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
