Is a tool for DbC during test and development phase.
It is not recommended to use during production
Are there any thoughts about this?
Regards
Bert
system
(system)
1
system
(system)
2
Is a tool for DbC during test and development phase.
It is not recommended to use during production
Supports pre/post conditions and invariants
Are there any thoughts about this?
Regards
Bert
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| java-implementation part2 | 0 | 0 | 17 January 2007 | |
| Announcing Archie version 0.4 | 23 | 1 | 23 February 2018 | |
| hibernate | 1 | 0 | 13 July 2007 | |
| private and protected setters, or missing contructors, etc. | 0 | 0 | 29 November 2006 | |
| Hibernate and RM | 97 | 18 | 9 January 2007 | |
| (Im)mutable java RM? (Was: Re: Improving the minimal terminology service) | 3 | 3 | 18 December 2007 | |
| Discussion | 2 | 3 | 19 January 2007 | |
| inheritance of cdomaintype | 4 | 0 | 4 April 2008 | |
| Possible Problem in BMM class-scheme | 14 | 923 | 14 May 2020 | |
| @FullConstructor in DvProportion is forgotten | 8 | 1 | 12 May 2008 |