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


Groups > comp.programming.threads > #4072

Programming with Design by Contract

From computer45 <computer45@cyber.com>
Newsgroups comp.programming.threads
Subject Programming with Design by Contract
Date 2018-03-07 16:22 -0500
Organization A noiseless patient Spider
Message-ID <p7pl6k$a0b$2@dont-email.me> (permalink)

Show all headers | 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.threads | Previous | Next | Find similar | Unroll thread


Thread

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

csiph-web