Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.programming > #8411
| Path | csiph.com!eternal-september.org!feeder.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail |
|---|---|
| From | computer45 <computer45@cyber.com> |
| Newsgroups | comp.programming |
| Subject | Programming with Design by Contract |
| Date | Wed, 7 Mar 2018 16:22:14 -0500 |
| Organization | A noiseless patient Spider |
| Lines | 14 |
| Message-ID | <p7pl68$a0b$1@dont-email.me> (permalink) |
| Mime-Version | 1.0 |
| Content-Type | text/plain; charset=utf-8; format=flowed |
| Content-Transfer-Encoding | 8bit |
| Injection-Date | Wed, 7 Mar 2018 21:22:16 -0000 (UTC) |
| Injection-Info | reader02.eternal-september.org; posting-host="3bd8abbadfa4e4bdd5b1484eec2d0e4a"; logging-data="10251"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19dxzlmA68H9Axb4XiSnOAKH+xmSigTNUY=" |
| User-Agent | Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 |
| Content-Language | en-US |
| X-Mozilla-News-Host | news://news.eternal-september.org:119 |
| Cancel-Lock | sha1:d1vEQAgBoATb0eBPPLKp9xjkLLw= |
| Xref | csiph.com comp.programming:8411 |
Show key headers only | View raw
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.
Back to comp.programming | Previous | Next | Find similar | Unroll thread
Programming with Design by Contract computer45 <computer45@cyber.com> - 2018-03-07 16:22 -0500
csiph-web