Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.programming.threads > #4072 > unrolled thread

Programming with Design by Contract

Started bycomputer45 <computer45@cyber.com>
First post2018-03-07 16:22 -0500
Last post2018-03-07 16:22 -0500
Articles 1 — 1 participant

Back to article view | Back to comp.programming.threads

Contents

  Programming with Design by Contract computer45 <computer45@cyber.com> - 2018-03-07 16:22 -0500

#4072 — Programming with Design by Contract

Fromcomputer45 <computer45@cyber.com>
Date2018-03-07 16:22 -0500
SubjectProgramming with Design by Contract
Message-ID<p7pl6k$a0b$2@dont-email.me>
Hello..


Programming with Design by Contract

I think preconditions and postconditions are enough to work with Design 
by Contract programming. Using precondition within a software routine 
(Client’s obligations to the code it calls) and postcondition 
(supplier’s obligations to the code that uses it).


Thank you,
Amine Moulay Ramdane.

[toc] | [standalone]

Back to top | Article view | comp.programming.threads

csiph-web