Update README.md

sergiofagostinho · Apr 19, 2015 · 458c519 · 458c519
1 parent 878dd9c
commit 458c519
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,3 +1,7 @@
-#DbC4J: Design by Contract™ for Java™
+#DbC4J: Design by Contract for Java
 
-DbC4J is a library that allows performing Design by Contract in Java, by enforcing contract clauses using regular Java methods via naming conventions. This library is a prototype, developed on my Master Thesis "An Aspect-Oriented Infrastructure for Design by Contract in Java". 
+DbC4J is a library that allows performing Design by Contract in Java, by enforcing contract clauses using regular Java methods via naming conventions. This library is a _prototype_, developed in the context of my Master Thesis, "An Aspect-Oriented Infrastructure for Design by Contract in Java". 
+
+![alt tag](images/thesis-diagram.jpg)
+
+_(translated from Portuguese: decomposition, contract, composition)_