Our website is made possible by displaying online advertisements to our visitors. Please consider supporting us by whitelisting our website.

February 2019

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

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

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

Advanced Software Engineering

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

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

Explanation: The answer is self-explanatory.

Which of the following is essential for success, when formal methods are used for the first time ? Read More »

Advanced Software Engineering

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

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

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

Explanation: For example, a programming language has a set of formal semantics that enables the software developer to specify algorithms that transform input to output.

The ________________ of a specification language indicates how the language represents system requirements? Read More »

Advanced Software Engineering

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

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

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.

Which of the following provides a concise, unambiguous, and consistent method for documenting system requirements ? Read More »

Advanced Software Engineering

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

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

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

Explanation: Achieving a high level of precision consistently is an almost impossible task.

Which of the following occurs often due to the bulkiness of a system specification document ? Read More »

Advanced Software Engineering

Frameworks are an effective approach to reuse, but are _____________ to introduce into software development processes.

Frameworks are an effective approach to reuse, but are _____________ to introduce into software development processes.

A. difficult
B. expensive
C. unreliable
D. difficult and expensive
Explanation: Frameworks can be difficult and expensive to evaluate available frameworks to choose the most appropriate one.

Frameworks are an effective approach to reuse, but are _____________ to introduce into software development processes. Read More »

Advanced Software Engineering

Which framework’s applications are difficult to deal with ?

Which framework’s applications are difficult to deal with ?

A. MVC pattern
B. Web application frameworks
C. Debugging framework
D. None of the mentioned

Explanation: Debugging framework based applications is difficult because you may not understand how the framework methods interact. This is a general problem with reusable software .

Which framework’s applications are difficult to deal with ? Read More »

Advanced Software Engineering