Laurent Henocque

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

Aller au contenu | Aller au menu | Aller à la recherche

Javastates

IMG_0074.jpg

Javastates est une librairie java destinée à permettre aux programmeurs d’interfaces homme machine de se concentrer sur la fonctionnalité et l’ergonomie sans craindre d’atteindre des situations où les défauts visuels ne peuvent plus être évités.

Javastates page principale

Télécharger Javastates

IMG_0074.jpg

Javastates est une librairie java destinée à permettre aux programmeurs d’interfaces homme machine de se concentrer sur la fonctionnalité et l’ergonomie sans craindre d’atteindre des situations où les défauts visuels ne peuvent plus être évités.

Javastates page principale

Télécharger Javastates

Notes de cours Javastates en anglais

Un support de cours pour le langage ISL et l’API Javastates en langue anglaise

Lire la suite

Installer et utiliser Javastates, un tutoriel vidéo

Cette vidéo couvre les prérequis nécessaires à l’utilisation de Javastates, notamment le téléchargement de l’archive, la configuration et l’import de Javastates dans Eclipse, le test des démos. Elle donne aussi quelques détails sur le fonctionnement des démos les plus simples.

Lire la suite

JavaStates 1.8.6 disponible

En pièce jointe la version 1.8.6 de la bibliothèque JavaStates.

Cette version ne corrige pas de bug, mais ajoute quelques vérifications d’intégrité associées à des lancements d’exceptions nouvelle.

Lire la suite

Javastates 1.8.5 disponible

La version 1.8.5 corrige un (dernier?) bug (concernant de rares situations ou la prise en compte de listeners dans des régions concurrentes n’était pas correctement réalisée) et ajoute une petite démo aux démos déjà existantes. Disponible au téléchargement sur sourceforge.net

Lire la suite

How Javastates implements D Harel's statecharts

Javastates implements statechart semantics, extends them by allowing to bind <object,attribute,value> triples to states and offers an api for transitions.

Lire la suite

Tutoriel en Diaporama

Un tutoriel sous forme de diaporama en anglais

Lire la suite

Présentation de Javastates

Javastates est une librairie java destinée à permettre aux programmeurs d’interfaces homme machine de se concentrer sur la fonctionnalité et l’ergonomie sans craindre d’atteindre des situations où les défauts visuels ne peuvent plus être évités.

Lire la suite

Javastates et UML

La sémantique de Javastates est conforme dans une large mesure à celle des diagrammes d’états de la méthode UML. La concurrence des sous régions UML est implémentée en Javastates, de sorte qu’une interface peut exécuter un nombre quelconque de sous automates.

Lire la suite

Javastates et Java Swing

Javastates est une bibliothèque Java 6. Javastates utilise l’introspection et les conventions java beans pour identifier les accesseurs et modifieurs. La démo présentée en téléchargement sur le site sourceforge est basée sur les apis Java Swing, mais Javastates est indépendant de Swing et peut être utilisé avec toute librairie graphique.

Lire la suite

Qu'est ce que Javastates?

Javastates est une bibliothèque de classes Java destinée à prendre en charge la dynamique ’interne’ des interfaces homme machine, au moyen de spécifications exécutables. En utilisant Javastates, le programmeur d’interfaces homme machine se concentre sur les propriétés des états de son interface, et laisse au programme le soin de gérer la correction des transitions entre états.

Lire la suite

Brève histoire de Javastates

Javastates est issu d’un projet ancien. Une version C de concepts similaires quoique moins aboutis (pas de prise en charge du parallélisme) fut implémentée dans le générateur d’applications OpenSide vers 1990.
Une variante en C++ fut réalisée ensuite pour intégration dans le logiciel Ilog Views. J’ai ensuite développé une version Java de ce logiciel à des fins pédagogiques dans le cadre de mes cours de spécification des interfaces homme machine à l’ ESIL, Université de la Méditerranée.

Lire la suite

Callback not found for widget contactMe