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 static and non-static fields of a class?
Can you use virtual, override or abstract keywords on an accessor of a static property?
State about java and its relation to object oriented programming?
What is the main difference between a class and an object?
Explain about inheritance hierarchies?
Differentiate between overloading and overriding.
What do you mean by polymorphism?
Give any criteria when you use an abstract class and an interface?
Explain about overriding polymorphism?
what is virtual function and pure virtual function ?
Do structs support inheritance?
What is an abstraction and why is it important?
What is the difference between multiple and multilevel inheritance?
Explain the term constructor
What is the difference abstract class and interface?