A. CMM
B. ISO-9001
C. CASE tools
D. Formal methods
Explanation: Formal methods provide a concise, unambiguous, and consistent method for documenting system requirements.
Related Mcqs:
- 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 - The ________________ of a specification language indicates how the language represents system requirements?
A. semantic domain
B. syntactic domain
C. sequence
D. set - Which subsystem implements the requirements defined by the application ?
A. UI
B. DBMS
C. Application subsystem
D. None of the mentioned - Which of the following term is best defined by the statement: “The names of the operations in the ‘provides’ and ‘requires’ interfaces are different.” ?
A. Parameter incompatibility
B. Operation incompleteness
C. Operation incompatibility
D. None of the mentioned - Cleanroom software engineering complies with the operational analysis principles by using a method called known as________________?
A. box structure specification
B. referential transparency
C. degenerative error correction
D. none of the mentioned - 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 mentioned - 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 - In which of the following language the frameworks will not work ?
A. C#
B. Ruby
C. PHP
D. Java - 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 - Which of the following is not an example of component technology ?
A. EJB
B. COM+
C. .NET
D. None of the mentioned