Design by contract lightning talk

621 views

Published on

Published in: Technology, Business
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
621
On SlideShare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
5
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Design by contract lightning talk

  1. 1. Design by Contract
  2. 2. What is a contract?
  3. 3. Client
  4. 4. Supplier
  5. 5. Contract ● Invariant● Precondition● Postcondition
  6. 6. C4JDesign By Contract for Java
  7. 7. Features● Pre/Post/Invariants● Transparent inheritance● Enforce Liskov substitution principle● Access to old values● Acess to fields
  8. 8. java ­javaagent:/home/toff/dev/c4j/c4j­2.7.5/lib/c4j.jar=trace=true ­ea

×