The code-contracts tag has no wiki summary.
1
vote
0answers
67 views
Is there any static analyzer for code contracts for Java 1.6?
I have used Java Modeling Language (JML) with its runtime assertion checker jml4c for writing code contracts in java. However, it would have been great to have a static checker in place as well that ...
6
votes
1answer
366 views
What are the practical examples of code exploration techniques?
Code Exploration (CE) is quite a new term and I wonder if there already any successful examples of implementing this techniques in terms of Continuous Integration principles?
In short, Code ...
3
votes
4answers
290 views
Why must the burden of proof rest with the caller and not the method of the class that is being called?
Michael Perry states in his Pluralsight course on Provable Code (transcript subscription only) that:
[T]he burden of proof rests with the caller
In a code contract, why must the burden of proof ...
5
votes
1answer
272 views
Does custom created code for a client imply copyright ownership?
I know of a potential customer that has been paying for website development work on an hourly basis for several years by several independent contractors, but has never signed an agreement as to terms ...
14
votes
10answers
2k views
Should a method validate its parameters?
Say you are designing a Square root method sqrt. Do you prefer to validate the parameter passed is not a negative number or do you leave it up to the caller to make sure the param passed is valid. How ...
10
votes
2answers
269 views
code contracts/asserts: what with duplicate checks?
I'm a huge fan of writing asserts, contracts or whatever type of checks available in the language I'm using. One thing that bothers me a bit is that I'm not sure what the common practice is for ...
25
votes
3answers
784 views
Contract Billing - How would you handle 'learning time'?
So you take a contract where you have solid experience with 75% of the technology necessary. How do you handle your time to learn the other 25%?
Work it into the billing time? Expose the 25% in the ...
2
votes
2answers
466 views
Do .NET 4.0 Code Contracts have a role to play in solo-programmer projects?
I often find myself wondering what programming best practices apply to solo programming, since most of the time, I'm the only programmer on a project. I just started experimenting with C# 4.0 Code ...
6
votes
1answer
179 views
What do you think about design by contract? [closed]
What benefits does having code contracts available within the language/framework have? How does it compare to using unit tests or assertions instead?
