Implementing Jml Contracts with Aspectj

By Henrique Rebelo

The Java Modeling Language (JML) is a formal interface specification language designed for Java. It was developed with the aim of improving the functional software correctness of Java applications.... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 384733753X
• ISBN13: 9783847337539
• Release Date: February 2012
• Publisher: LAP Lambert Academic Publishing
• Length: 144 Pages
• Weight: 0.49 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"