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.
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 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 of the following occurs often due to the bulkiness of a system specification document ?
A. Contradictions
B. Ambiguities
C. Vagueness
D. Incompleteness - 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 - Which subsystem implements the requirements defined by the application ?
A. UI
B. DBMS
C. Application subsystem
D. None 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 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 - ________________ depend on there being a clear separation between the presentation of information and the computations that create and process that information?
A. Master-slave architectures
B. Client–server systems
C. Two-tier client–server architecture
D. Both Master-slave architectures AND Client–server systems - Which frameworks support the development of system infrastructures such as communications, user interfaces, and compilers ?
A. Middleware integration frameworks
B. System infrastructure framework
C. Enterprise application frameworks
D. Web application frameworks - Which of the following term is best defined by the statement:”For a component to be composable, all external interactions must take place through publicly defined interfaces”?
A. Standardized
B. Independent
C. Composable
D. Documented
