A. Contradictions
B. Post-condition
C. Vagueness
D. None of the mentioned
Explanation: A precondition defines the circumstances in which a particular operation is valid.
A. Set
B. Sequence
C. Universal quantification
D. Both Set and Sequence
A. Multi-tier client–server architecture
B. Master-slave architecture
C. Distributed component architecture
D. Peer-to-peer architecture
Explanation: Multi-tier systems may be used when applications need to access and use data from different databases.
A. providing frameworks
B. verifying systems
C. provide investors
D. both providing frameworks and verifying systems
Explanation: A method is formal if it has a sound mathematical basis, typically given by a formal specification language
A. Standards compliance
B. Increased Reliability
C. Reduced Process risk
D. Maintaining a component library
Explanation: There can be thousands of components in a frameworks whose maintenance is quite difficult.
A. Specification team
B. Development team
C. Certification team
D. All of the mentioned
A. Distributed logic
B. Distributed presentation
C. Remote presentation
D. All of the mentioned
Explanation: The server is assigned database management tasks, the processes for client queries, and enterprise-wide applications.