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 systemsThe question was asked in an online interview.My enquiry is from Formal Methods of Software Engineering topic in portion Advanced Software Engineering of Software Engineering

Which of the following option is not provided by formal methods?(a) pr

1.	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 systemsThe question was asked in an online interview.My enquiry is from Formal Methods of Software Engineering topic in portion Advanced Software Engineering of Software Engineering
Answer» The correct option is (d) both providing frameworks and VERIFYING systems To EXPLAIN I WOULD say: A method is formal if it has a sound mathematical basis, TYPICALLY given by a formal SPECIFICATION language.

Discussion

No Comment Found

Related InterviewSolutions

CORBA stands for(a) Common Object Request Build Architecture(b) Common Object Request Broker Architecture(c) Common Object Request Break Architecture(d) All of the mentionedI have been asked this question in an interview for job.My doubt is from Client Server Software Engineering topic in chapter Advanced Software Engineering of Software Engineering
Which of the following term is best defined by the statement:”When one object invokes another independent object, a message is passed between the two objects.”?(a) Control couple(b) Application object(c) Data couple(d) Database objectThe question was asked in an international level competition.I want to ask this question from Client Server Software Engineering topic in chapter Advanced Software Engineering of Software Engineering
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 implementationThe question was asked in final exam.My query is from Client Server Software Engineering in division Advanced Software Engineering of Software Engineering
When a client application invokes a method contained within an object elsewhere in the system, CORBA uses dynamic invocation to(a) obtain pertinent information about the desired method from the interface repository(b) create a data structure with parameters to be passed to the object(c) create a request for the object(d) all of the mentionedI have been asked this question in an international level competition.I would like to ask this question from Client Server Software Engineering in division Advanced Software Engineering of Software Engineering
What is used to pass SQL requests and associated data from one component to another?(a) Client/server SQL interaction(b) Remote procedure calls(c) SQL Injection(d) All of the mentionedThis question was posed to me in exam.Asked question is from Client Server Software Engineering topic in portion Advanced Software Engineering of Software Engineering
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 mentionedThis question was addressed to me in homework.My doubt is from Client Server Software Engineering in chapter Advanced Software Engineering of Software Engineering
“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 mentionedThis question was addressed to me in an interview for internship.Question is taken from Client Server Software Engineering in chapter Advanced Software Engineering of Software Engineering
Which test do you infer from the following statement: “The coordination and data management functions of the server are tested.”?(a) Server tests(b) Application function tests(c) Transaction tests(d) Network communication testsThe question was posed to me during an online interview.This question is from Client Server Software Engineering in division Advanced Software Engineering of Software Engineering
Which subsystem implements the requirements defined by the application?(a) UI(b) DBMS(c) Application subsystem(d) None of the mentionedThe question was asked during an interview for a job.My question comes from Client Server Software Engineering topic in section Advanced Software Engineering of Software Engineering
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 mentionedI had been asked this question during an interview.Asked question is from Client Server Software Engineering topic in portion Advanced Software Engineering of Software Engineering

Discussion

No Comment Found

Related InterviewSolutions

Reply to Comment