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

View solution

Q. Which of the following provides a concise, unambiguous, and consistent method for documenting system requirements?

View solution

Q. The ____________ of a specification language indicates how the language represents system requirements.

View solution

Q. Which of the following is essential for success, when formal methods are used for the first time?

View solution

Q. It is generally not necessary to apply formal methods to every aspect of a major system.

View solution

Q. Who was first to proposed the Cleanroom philosophy in software engineering ?

View solution

Q. How does Cleanroom software engineering differs from the conventional and object-oriented views ?

View solution

Q. Cleanroom software engineering complies with the operational analysis principles by using a method called known as

View solution

Q. What encapsulates state data and services in a manner that is analogous to objects?

View solution

Q. MTTF stands for

View solution

Q. The transition functions that are implied by the state box are defined in

View solution

Q. Which of the following is not included in the certification approach?

View solution

Q. The __________ specifies the behavior of a system or a part of a system.

View solution

Q. Which of the following is required for Certification for cleanroom software engineering?

View solution

Q. The philosophy of Cleanroom SE focuses on defect removal rather than defect avaoidance.

View solution

Q. Which of the following Cleanroom process teams develops set of statistical test to exercise software after development?

View solution

Q. A software element conforms to a standard component model and can be independently deployed and composed without modification according to a composition standard.

View solution

Q. Which of the following is a feature of CBSE?

View solution

Q. Which of the following term is best define by the statement:”For a component to be composable, all external interactions must

View solution

Q. A component model defines standards for

View solution