Java Modeling Language

Java Modeling Language
Benoit Darties
[e-mail]
ESIREM ITR4

Bibliographie
Documents références sur JML :
http://www.eecs.ucf.edu/~leavens/JML/
http://kalysto.org/~nono/teaching/JML/
http://www2.lifl.fr/~nebut/ens/svl/

Java
Langage de programmation orientée Objet
Développé par Sun
Projet OAK (1991),
Java (1995) … Java 1.5 (2004)
Langage interprété
JMV : Java Virtual Machine
Multi-plateforme : Windows, Linux, MacOsX, etc...
Niveau d'abstraction Code / Architecture machine

Java
Compilation :
 javac Program.java
Produit un fichier Program.class : bytecode
Execution :
 java Fichier
Interprétation du Bytecode par la JVM

Java
concepts de la programmation Objet :
encapsulation de données: public, private, protected
notions d'objets :
classe : « moule » à objet
instance de classes : objets créés avec ce moule
héritage : Class A extends B { … }
polymorphisme