Laurent Henocque

This is Laurent Henocque's personal blog. I am using 16VjbGbn6oDmcAbeZFmdeZu6Vj9ekSaBSA as my public KeeeX identity.

To content | To menu | To search

Tag : java

Man Machine Interfaces

Understand the main paradigms of man machine interfaces. Learn to specify man machine interfaces using UML2 state diagrams, or the ISL language, and Javastates.

The project's main page Javastates

Download Javastates on

Continue reading

Object Oriented Programming - Java

Master the most advanced notions in Java ( invariants, annotations, generic, exceptions, anonymous classes, memory management, introspection...).

Continue reading

ID3A - Invariant Driven Design & Development using Assert

The quest of coding productivity through lightweight unit testing and test driven design. A new book is availaible in Kindle format.

Continue reading

Javastates English Lecture Notes

A course about Javastates in english

Continue reading

Java Swing Components

This english document covers the most used Java Swing components, plus a discussion about layouts.

Continue reading

Installing and Using Javastates Video Tutorial

This video covers the early stages of using Javastates, including: downloading the archive, setting up Javastates in Eclipse, testing the demos. It also provides some insight about how the simplest demos operate.

Continue reading

JavaDynInterface - dynamic interfaces for Java

An implementation of interfaces in the flavor of the Go language in Java. Online under the name JavaDynInterface, available with test / demo program and Javadoc on bitbucket.

Continue reading

Use and understand Javastates

This course presents an initiation to the JavaStates technology for efficiently creating bug free man machine interfaces. The course also covers general notions about the specification of man machine interfaces as well as best practises.

Continue reading

Javastates 1.8.5 released

New version 1.8.5 corrects a (final ?) bug (concerning very special situations where the handling of listeners would not be properly performed in concurrent regions) and adds to other demos a very simple three color demo. Available for download at

Continue reading

Callback not found for widget contactMe