Explian following terms: Constraint Rules, Design by
contract.
Answer Posted / debalina
Design by contract :Design by contract, DBC or Programming
by contract is an approach to designing computer software.
It prescribes that software designers should define precise
verifiable interface specifications for software components
based upon the theory of abstract data types and the
conceptual metaphor of a business contract.Because "Design
by Contract" is a trademark of Eiffel Software, the
maintainers of Eiffel, many developers will refer to it
only as programming by contract or contract-first
development. The principal idea of Design by Contract (DBC)
is that a class and its clients have a contract with each
other: The client must guarantee certain conditions before
calling a method specialized on the class (the
preconditions), the class guarantees certain properties
after the call (the postconditions). If the pre- and
postconditions are included in a form that the compiler can
check, then any violation of the contract between caller
and class can be detected immediately.
| Is This Answer Correct ? | 1 Yes | 0 No |
Post New Answer View All Answers
What is difference between encapsulation and abstraction?
What is polymorphism and abstraction?
Can a class in java be inherited from more than one class?
What do you mean by polymorphism?
What is a functional interface? What is sam interface?
Explain about parametric polymorphism?
Write a program to show the inheritance used in a class.
What is the super keyword?
What is an interface?
Can you tell something about GDI objects?
What are all the operators that cannot be overloaded?
What is virtual multiple inheritance?
What is difference between polymorphism and normalization?
Can constructors be parameterized?
Why abstraction is important?