Java Applet Correctness Kit: a tutorial

This document constitutes a tutorial to the JACK tool. JACK is an eclipse plugin allowing to ensure the correctness of Java application annotated with JML. The version of the tools referenced in this document are :
– Jack v1.8.0
– eclipse 3.1
Read more

• Recently Written

  • In-Depth look at the GridView Control
  • Introduction to Design Patterns in C#
  • ASP.NET Server-Side Data Acces
  • 70-305 Developing and Implementing Web Applications With Microsoft Visual Basic .NET Demo
  • SQL Anywhere Integration with Visual Studio 2005
  • Working with DataGridView
  • PERSONAL ENCRYPTED TALK - SECURING INSTANT MESSAGING WITH A JAVA APPLICATION
  • JAVA PERFORMANCE OF THE RIJNDAEL ENCRYPTION ALGORITHM ACROSS COMPILERS AND VIRTUAL MACHINES
  • Java security, Part 1 Crypto basics
  • RSA BSAFE Crypto-J Crypto for Java JCE Provider Introduction

• Categories

  • Ada
  • ASP.NET
  • C#
  • C/C++
  • Caml
  • ColdFusion
  • CORBA
  • Database
  • General
  • Hardware
  • Java
  • Javascript
  • MAPI
  • News
  • Oracle
  • Perl
  • PHP
  • Python
  • SAP
  • Scripting
  • Silverlight
  • Tools
  • Visual Basic
  • XML

• 
  

• Archives

  • January 2009
  • December 2008
  • November 2008
  • October 2008
  • September 2008
  • August 2008
  • July 2008
  • June 2008
  • May 2008
  • April 2008